Skip to content

Commit

Permalink
test-status: regenerate for new repos+workflows
Browse files Browse the repository at this point in the history
- adds microkit and rust repos
- removes new PR workflows
- updates broken badge URL format

Generated from changes in seL4/ci-actions#338

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
  • Loading branch information
lsf37 committed Feb 29, 2024
1 parent 593f856 commit f8b92b6
Showing 1 changed file with 162 additions and 141 deletions.

0 comments on commit f8b92b6

Please sign in to comment.