Mark RFC-5 as implemented · seL4/rfcs@b8db338

Triggered via push November 25, 2025 04:22

main

Status Success

Total duration 1m 53s

Artifacts 1

mdbook.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	1.39 MB	`sha256:924373dd5e751b88837c89bebcf122cff1d3c142806db6b2c08b48e7f044c91c`