update github CI #92

Merged

muellerr merged 3 commits from update-github-ci into main

2024-05-02 14:29:53 +02:00

Author	SHA1	Message	Date
Robin Mueller	af392d40d0	this might work Some checks are pending Rust/spacepackets/pipeline/head Build queued... Details Rust/spacepackets/pipeline/pr-main Build queued... Details	2024-05-02 14:22:03 +02:00
Robin Mueller	b78bfe2114	some fixes Some checks are pending Rust/spacepackets/pipeline/head Build queued... Details Rust/spacepackets/pipeline/pr-main Build queued... Details	2024-05-02 14:16:20 +02:00
Robin Mueller	69a3b1d8f3	update github CI Some checks are pending Rust/spacepackets/pipeline/pr-main Build queued... Details Rust/spacepackets/pipeline/head Build started... Details	2024-05-02 14:12:26 +02:00