seL4 Test Status

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

Main Tests

seL4Test Proofs Proof Sync seL4Bench CAmkES Camkes VM

Main repositories

seL4

CI Compile RefMan XML C Parser Proof Sync seL4Test Trigger

l4v

Proofs CI Trigger External Weekly Clean Proofs Prepare binary verification

sel4bench

CI seL4Bench

camkes-tool

CAmkES CI Trigger Unit

camkes-vm-examples

Camkes VM CI

capdl

Build CI Trigger

sel4-tutorials

CI Test

All repositories

cakeml_libs

CI Trigger

camkes

CI Trigger

camkes-manifest

CI

camkes-tool

CAmkES CI Trigger Unit

camkes-vm

CI Trigger

camkes-vm-examples

Camkes VM CI

camkes-vm-examples-manifest

CI

camkes-vm-images

CI Trigger

camkes-vm-linux

CI Trigger

capdl

Build CI Trigger

ci-actions

CI Deploy Link Check Deploy Preprocess Test Deploy Proof Run Isabelle Mirror Deploy CParser Builder Deploy CParser Run Deploy seL4 Sim Deploy CAmkES Unit Deploy seL4 HW Deploy CAmkES Test Deploy RumpRun Deploy Tutorial Test Deploy CAmkES VM Deploy seL4 Bench

docs

Build CI

global-components

CI Trigger

graph-refine

Build CI Trigger

l4v

Proofs CI Trigger External Weekly Clean Proofs Prepare binary verification

mcs-examples

CI

mcs-examples-manifest

CI

projects_libs

CI Trigger

pruner

CI Trigger

refos

CI

refos-manifest

CI

rumprun-sel4-demoapps

CI Hello World

seL4

CI Compile RefMan XML C Parser Proof Sync seL4Test Trigger

seL4-CAmkES-L4v-dockerfiles

Build Deploy CI

seL4_libs

CI seL4Test Trigger

seL4_projects_libs

CI seL4Test Trigger

seL4_tools

CI seL4Test Trigger

sel4-tutorials

CI Test

sel4-tutorials-manifest

CI

sel4bench

CI seL4Bench

sel4bench-manifest

CI

sel4runtime

CI seL4Test Trigger

sel4test

CI seL4Test Trigger

sel4test-manifest

CI seL4Test

sel4webserver

CI Web Server Demo

sel4webserver-manifest

CI

util_libs

PR Queue CI seL4Test Sim Trigger

verification-manifest

CI Trigger

website

Bamboo CI

whitepaper

build PDF License