https://github.com/sel4/gh-testboard

Repository for verification testboard manifests
https://github.com/sel4/gh-testboard

Last synced: 6 months ago
JSON representation

Repository for verification testboard manifests

• Host: GitHub
• URL: https://github.com/sel4/gh-testboard
• Owner: seL4
• Created: 2021-03-15T21:45:50.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2025-03-17T00:42:32.000Z (over 1 year ago)
• Last Synced: 2025-10-09T10:13:56.180Z (10 months ago)
• Size: 31.3 KB
• Stars: 0
• Watchers: 20
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Contributing: .github/CONTRIBUTING.md
  • License: LICENSES/BSD-2-Clause.txt
  • Code of conduct: .github/CODE_OF_CONDUCT.md

Awesome Lists containing this project

README

          


# Verification Tests

The branches in this repository contain manifests for verification

test runs. A push to a new branch triggers a new test.

See the [l4v](https://github.com/seL4/l4v) repository for more

information for how to push a test manifest to this repository.