seL4 Test Status

The following list shows the current status of all seL4 GitHub test workflows on the main branch.

Main Tests

---

Main repositories

seL4

l4v

sel4bench

camkes-tool

camkes-vm-examples

capdl

sel4-tutorials

microkit

rust-sel4

---

All repositories

cakeml_libs

camkes

camkes-manifest

camkes-tool

camkes-vm

camkes-vm-examples

camkes-vm-examples-manifest

camkes-vm-images

camkes-vm-linux

capdl

ci-actions

docs

global-components

graph-refine

l4v

mcs-examples

microkit

projects_libs

pruner

refos

rumprun-sel4-demoapps

rust-microkit-demo

rust-microkit-http-server-demo

rust-root-task-demo

rust-sel4

seL4

seL4-CAmkES-L4v-dockerfiles

seL4_libs

seL4_projects_libs

seL4_tools

sel4-tutorials

sel4-tutorials-manifest

sel4bench

sel4bench-manifest

sel4runtime

sel4test

sel4test-manifest

sel4webserver

sel4webserver-manifest

util_libs

verification-manifest

website

whitepaper