mirror of https://github.com/seL4/docs.git
Add a test status page
This page is generated by seL4/ci-actions/dashboard, and currently updated from there manually. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein
Gerwin Klein
parent
cbed1b3759
commit
94587ef9b7
|
|
@ -47,6 +47,8 @@ toc:
|
|||
url: /processes/release-process.html
|
||||
- page: RFC process
|
||||
url: /processes/rfc-process.html
|
||||
- page: Test Status
|
||||
url: /processes/test-status.html
|
||||
- page: Websites
|
||||
url: /processes/websites.html
|
||||
- page: Emails
|
||||
|
|
|
|||
|
|
@ -266,6 +266,9 @@ a[href*="//"]:not([href*="{{site.url}}"],.skip-icon):after {
|
|||
content: " \f35d";
|
||||
}
|
||||
|
||||
.plain-links a[href*="//"]:not([href*="{{site.url}}"],.skip-icon):after {
|
||||
display: none;
|
||||
}
|
||||
|
||||
/* flexbox styling sourced from: https://css-tricks.com/dont-overthink-flexbox-grids/ */
|
||||
.flex-grid {
|
||||
|
|
|
|||
|
|
@ -0,0 +1,307 @@
|
|||
---
|
||||
title: "Test status"
|
||||
SPDX-License-Identifier: CC-BY-SA-4.0
|
||||
SPDX-FileCopyrightText: 2022 seL4 Project a Series of LF Projects, LLC.
|
||||
---
|
||||
|
||||
<!-- Do not edit. This file is generated by seL4/ci-actions/dashboard/gen-dashboard.py -->
|
||||
|
||||
# seL4 Test Status
|
||||
|
||||
The following list shows the current status of all seL4 GitHub test workflows
|
||||
on the main branch.
|
||||
|
||||
## Main Tests
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4/actions/workflows/sel4test-deploy.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/l4v/actions/workflows/proof-deploy.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4/actions/workflows/preprocess-deploy.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/sel4bench/actions/workflows/sel4bench.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/camkes-tool/actions/workflows/camkes-deploy.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/camkes-vm-examples/actions/workflows/camkes-vm-deploy.yml?query=branch%3Amaster)</span>
|
||||
|
||||
-----
|
||||
|
||||
|
||||
## Main repositories
|
||||
|
||||
|
||||
### <span class="plain-links">[seL4](https://github.com/seL4/seL4/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4/actions/workflows/compilation-checks.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4/actions/workflows/manual.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4/actions/workflows/xml_lint.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4/actions/workflows/cparser.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4/actions/workflows/preprocess-deploy.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4/actions/workflows/sel4test-deploy.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4/actions/workflows/trigger.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[l4v](https://github.com/seL4/l4v/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/l4v/actions/workflows/proof.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/l4v/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/l4v/actions/workflows/trigger.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/l4v/actions/workflows/external.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/l4v/actions/workflows/weekly-clean.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/l4v/actions/workflows/proof-deploy.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/l4v/actions/workflows/binary.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[sel4bench](https://github.com/seL4/sel4bench/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/sel4bench/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/sel4bench/actions/workflows/sel4bench.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[camkes-tool](https://github.com/seL4/camkes-tool/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/camkes-tool/actions/workflows/camkes-deploy.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/camkes-tool/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/camkes-tool/actions/workflows/trigger.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/camkes-tool/actions/workflows/unit.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[camkes-vm-examples](https://github.com/seL4/camkes-vm-examples/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/camkes-vm-examples/actions/workflows/camkes-vm-deploy.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/camkes-vm-examples/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[capdl](https://github.com/seL4/capdl/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/capdl/actions/workflows/build.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/capdl/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/capdl/actions/workflows/trigger.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[sel4-tutorials](https://github.com/seL4/sel4-tutorials/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/sel4-tutorials/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/sel4-tutorials/actions/workflows/test.yml?query=branch%3Amaster)</span>
|
||||
|
||||
-----
|
||||
|
||||
## All repositories
|
||||
|
||||
|
||||
### <span class="plain-links">[cakeml_libs](https://github.com/seL4/cakeml_libs/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/cakeml_libs/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/cakeml_libs/actions/workflows/trigger.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[camkes](https://github.com/seL4/camkes/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/camkes/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/camkes/actions/workflows/trigger.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[camkes-manifest](https://github.com/seL4/camkes-manifest/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/camkes-manifest/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[camkes-tool](https://github.com/seL4/camkes-tool/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/camkes-tool/actions/workflows/camkes-deploy.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/camkes-tool/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/camkes-tool/actions/workflows/trigger.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/camkes-tool/actions/workflows/unit.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[camkes-vm](https://github.com/seL4/camkes-vm/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/camkes-vm/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/camkes-vm/actions/workflows/trigger.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[camkes-vm-examples](https://github.com/seL4/camkes-vm-examples/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/camkes-vm-examples/actions/workflows/camkes-vm-deploy.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/camkes-vm-examples/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[camkes-vm-examples-manifest](https://github.com/seL4/camkes-vm-examples-manifest/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/camkes-vm-examples-manifest/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[camkes-vm-images](https://github.com/seL4/camkes-vm-images/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/camkes-vm-images/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/camkes-vm-images/actions/workflows/trigger.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[camkes-vm-linux](https://github.com/seL4/camkes-vm-linux/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/camkes-vm-linux/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/camkes-vm-linux/actions/workflows/trigger.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[capdl](https://github.com/seL4/capdl/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/capdl/actions/workflows/build.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/capdl/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/capdl/actions/workflows/trigger.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[ci-actions](https://github.com/seL4/ci-actions/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/ci-actions/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/ci-actions/actions/workflows/deploy-link-check.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/ci-actions/actions/workflows/deploy-preprocess.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/ci-actions/actions/workflows/deploy-run-proofs.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/ci-actions/actions/workflows/isabelle-mirror.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/ci-actions/actions/workflows/deploy-cparser-builder.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/ci-actions/actions/workflows/deploy-cparser-run.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/ci-actions/actions/workflows/deploy-sel4test-sim.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/ci-actions/actions/workflows/deploy-camkes-unit.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/ci-actions/actions/workflows/deploy-sel4test-hw.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/ci-actions/actions/workflows/deploy-camkes-test.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/ci-actions/actions/workflows/deploy-rumprun.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/ci-actions/actions/workflows/deploy-tutorials.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/ci-actions/actions/workflows/deploy-camkes-vm.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/ci-actions/actions/workflows/deploy-sel4bench.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[docs](https://github.com/seL4/docs/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/docs/actions/workflows/build.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/docs/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[global-components](https://github.com/seL4/global-components/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/global-components/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/global-components/actions/workflows/trigger.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[graph-refine](https://github.com/seL4/graph-refine/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/graph-refine/actions/workflows/build.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/graph-refine/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/graph-refine/actions/workflows/trigger.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[l4v](https://github.com/seL4/l4v/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/l4v/actions/workflows/proof.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/l4v/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/l4v/actions/workflows/trigger.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/l4v/actions/workflows/external.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/l4v/actions/workflows/weekly-clean.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/l4v/actions/workflows/proof-deploy.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/l4v/actions/workflows/binary.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[mcs-examples](https://github.com/seL4/mcs-examples/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/mcs-examples/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[mcs-examples-manifest](https://github.com/seL4/mcs-examples-manifest/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/mcs-examples-manifest/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[projects_libs](https://github.com/seL4/projects_libs/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/projects_libs/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/projects_libs/actions/workflows/trigger.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[pruner](https://github.com/seL4/pruner/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/pruner/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/pruner/actions/workflows/trigger.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[refos](https://github.com/seL4/refos/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/refos/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[refos-manifest](https://github.com/seL4/refos-manifest/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/refos-manifest/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[rumprun-sel4-demoapps](https://github.com/seL4/rumprun-sel4-demoapps/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/rumprun-sel4-demoapps/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/rumprun-sel4-demoapps/actions/workflows/rump-deploy.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[seL4](https://github.com/seL4/seL4/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4/actions/workflows/compilation-checks.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4/actions/workflows/manual.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4/actions/workflows/xml_lint.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4/actions/workflows/cparser.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4/actions/workflows/preprocess-deploy.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4/actions/workflows/sel4test-deploy.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4/actions/workflows/trigger.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[seL4-CAmkES-L4v-dockerfiles](https://github.com/seL4/seL4-CAmkES-L4v-dockerfiles/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4-CAmkES-L4v-dockerfiles/actions/workflows/docker-build.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4-CAmkES-L4v-dockerfiles/actions/workflows/docker-deploy.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4-CAmkES-L4v-dockerfiles/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[seL4_libs](https://github.com/seL4/seL4_libs/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4_libs/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4_libs/actions/workflows/sel4test-sim.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4_libs/actions/workflows/trigger.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[seL4_projects_libs](https://github.com/seL4/seL4_projects_libs/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4_projects_libs/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4_projects_libs/actions/workflows/sel4test-sim.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4_projects_libs/actions/workflows/trigger.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[seL4_tools](https://github.com/seL4/seL4_tools/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4_tools/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4_tools/actions/workflows/sel4test-sim.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/seL4_tools/actions/workflows/trigger.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[sel4-tutorials](https://github.com/seL4/sel4-tutorials/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/sel4-tutorials/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/sel4-tutorials/actions/workflows/test.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[sel4-tutorials-manifest](https://github.com/seL4/sel4-tutorials-manifest/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/sel4-tutorials-manifest/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[sel4bench](https://github.com/seL4/sel4bench/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/sel4bench/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/sel4bench/actions/workflows/sel4bench.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[sel4bench-manifest](https://github.com/seL4/sel4bench-manifest/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/sel4bench-manifest/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[sel4runtime](https://github.com/seL4/sel4runtime/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/sel4runtime/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/sel4runtime/actions/workflows/sel4test-sim.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/sel4runtime/actions/workflows/trigger.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[sel4test](https://github.com/seL4/sel4test/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/sel4test/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/sel4test/actions/workflows/sel4test-sim.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/sel4test/actions/workflows/trigger.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[sel4test-manifest](https://github.com/seL4/sel4test-manifest/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/sel4test-manifest/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/sel4test-manifest/actions/workflows/sel4test-sim.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[sel4webserver](https://github.com/seL4/sel4webserver/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/sel4webserver/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[sel4webserver-manifest](https://github.com/seL4/sel4webserver-manifest/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/sel4webserver-manifest/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[util_libs](https://github.com/seL4/util_libs/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/util_libs/actions/workflows/prqueue.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/util_libs/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/util_libs/actions/workflows/sel4test-sim.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/util_libs/actions/workflows/trigger.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[verification-manifest](https://github.com/seL4/verification-manifest/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/verification-manifest/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/verification-manifest/actions/workflows/trigger.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[website](https://github.com/seL4/website/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/website/actions/workflows/bamboo.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/website/actions/workflows/push.yml?query=branch%3Amaster)</span>
|
||||
|
||||
### <span class="plain-links">[whitepaper](https://github.com/seL4/whitepaper/)</span>
|
||||
|
||||
<span class="plain-links">[](https://github.com/seL4/whitepaper/actions/workflows/build.yml?query=branch%3Amaster)</span>
|
||||
<span class="plain-links">[](https://github.com/seL4/whitepaper/actions/workflows/license.yaml?query=branch%3Amaster)</span>
|
||||
Loading…
Reference in New Issue