Add CI badge #9
muellerr
commented 2024-06-25 16:35:07 +02:00
Owner
No description provided.
muellerr
added 1 commit 2024-06-25 16:35:08 +02:00
Add CI badge
c3a8c22c78
Some checks are pending
Rust/va416xx-rs/pipeline/head This commit looks good
Details
Rust/va416xx-rs/pipeline/pr-main Build started...
Details
muellerr
merged commit e1e976396f into main 2024-06-25 17:58:22 +02:00
muellerr
deleted branch add-readme-ci-badge 2024-06-25 17:58:22 +02:00
muellerr
referenced this issue from a commit 2024-06-25 17:58:22 +02:00
Merge pull request 'Add CI badge' (#9) from add-readme-ci-badge into main
muellerr
referenced this issue from a commit 2024-06-25 19:59:45 +02:00
# This is a combination of 17 commits.
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "add-readme-ci-badge"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?