Skip to content

Actions: seL4/rfcs

Actions

Deploy RFC book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mdbook.yml
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add missing RFC title Deploy RFC book #22: Commit 238727f pushed by lsf37
1m 55s main
main
1m 55s
RFC-19: add disposition, update text Deploy RFC book #21: Commit 6c24fba pushed by lsf37
1m 54s main
main
1m 54s
Mark RFC-5 as implemented Deploy RFC book #20: Commit b8db338 pushed by Ivan-Velickovic
1m 53s main
main
1m 53s
Mark RFC 17 as implemented Deploy RFC book #19: Commit 746b98b pushed by Indanz
1m 51s main
main
1m 51s
RFC-18: FPU Context Switching Implemented Deploy RFC book #18: Commit 4f66abd pushed by lsf37
4m 28s main
main
4m 28s
github: use central CI workflows Deploy RFC book #17: Commit a359bda pushed by lsf37
8m 14s main
main
8m 14s