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
muellerr	af392d40d0	this might work Rust/spacepackets/pipeline/head Build queued... Details Rust/spacepackets/pipeline/pr-main Build queued... Details	2024-05-02 14:22:03 +02:00
muellerr	b78bfe2114	some fixes Rust/spacepackets/pipeline/head Build queued... Details Rust/spacepackets/pipeline/pr-main Build queued... Details	2024-05-02 14:16:20 +02:00
muellerr	69a3b1d8f3	update github CI Rust/spacepackets/pipeline/pr-main Build queued... Details Rust/spacepackets/pipeline/head Build started... Details	2024-05-02 14:12:26 +02:00