update github CI #92

Merged
muellerr merged 3 commits from update-github-ci into main 2024-05-02 14:29:53 +02:00
Owner
No description provided.
muellerr added 1 commit 2024-05-02 14:12:47 +02:00
update github CI
Some checks are pending
Rust/spacepackets/pipeline/pr-main Build queued...
Rust/spacepackets/pipeline/head Build started...
69a3b1d8f3
muellerr added 1 commit 2024-05-02 14:16:23 +02:00
some fixes
Some checks are pending
Rust/spacepackets/pipeline/head Build queued...
Rust/spacepackets/pipeline/pr-main Build queued...
b78bfe2114
muellerr added 1 commit 2024-05-02 14:22:07 +02:00
this might work
Some checks are pending
Rust/spacepackets/pipeline/head Build queued...
Rust/spacepackets/pipeline/pr-main Build queued...
af392d40d0
muellerr added this to the v0.11.1 milestone 2024-05-02 14:29:30 +02:00
muellerr modified the milestone from v0.11.1 to v0.12.0 2024-05-02 14:29:49 +02:00
muellerr merged commit eb49bff0c9 into main 2024-05-02 14:29:53 +02:00
muellerr deleted branch update-github-ci 2024-05-02 14:29:54 +02:00
Sign in to join this conversation.
No reviewers
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: rust/spacepackets#92
No description provided.