• seL4 logo
  • Resources

    Contributing

    Projects

    Tutorials

  1. seL4 Docs
  2. Processes
  3. Test status
  1. Current versions:
  2. seL4-13.0.0
  3. microkit-2.0.1
  4. camkes-3.11.0
  5. capDL-0.3.0
  • Code of Conduct
  • Contributing
  • Licensing
  • Style Guide
  • Git Conventions
  • Pull requests
  • Release process
  • RFC process
  • Test Status
  • Websites
  • Emails
  • Maintained Repositories

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

Compile C Parser RefMan Proof Sync CI seL4Test Trigger XML

l4v

CI Trigger External Weekly Clean Proofs

sel4bench

CI seL4Bench

camkes-tool

CAmkES CI Trigger Unit

camkes-vm-examples

Deploy CI

capdl

Build CI Trigger

sel4-tutorials

CI Test

microkit

CI SDK

rust-sel4

CI


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

Deploy CI

camkes-vm-examples-manifest

CI

camkes-vm-images

CI Trigger

camkes-vm-linux

CI Trigger

capdl

Build CI Trigger

ci-actions

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

docs

Build CI

global-components

CI Trigger

graph-refine

Binary decompilation Build Build CI Trigger

l4v

CI Trigger External Weekly Clean Proofs

mcs-examples

CI

microkit

CI SDK

projects_libs

CI Trigger

pruner

CI Trigger

refos

CI

rumprun-sel4-demoapps

CI Hello World

rust-microkit-demo

CI

rust-microkit-http-server-demo

CI

rust-root-task-demo

CI

rust-sel4

CI

seL4

Compile C Parser RefMan Proof Sync CI seL4Test Trigger XML

seL4-CAmkES-L4v-dockerfiles

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

CI seL4Test Sim Trigger

verification-manifest

CI Trigger

website

CI

whitepaper

build PDF License

seL4 docs

  • sel4
  • sel4proj
  • This site is for displaying seL4 related documentation. Pull requests are welcome.
  • Site last updated: Sat May 24 11:34:27 2025 +0100 9f8ce8e821
  • Page last updated: Thu Feb 29 10:41:42 2024 +0100 f8b92b6673
View page on GitHub
Edit page on GitHub
Sitemap