The branches in this repository contain manifests for verification test runs. A push to a new branch triggers a new test.
See the l4v repository for more information for how to push a test manifest to this repository.
-
Notifications
You must be signed in to change notification settings - Fork 0
seL4/gh-testboard
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
Repository for verification testboard manifests
Resources
Code of conduct
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published