Skip to content

Actions: seL4/rfcs

Actions

Deploy RFC book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mdbook.yml
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

README: highlight summary links Deploy RFC book #16: Commit e3afff4 pushed by Indanz
August 5, 2024 11:29 2m 3s main
main
August 5, 2024 11:29 2m 3s
move rfc 0180 from proposed to active Deploy RFC book #15: Commit f5500fe pushed by lsf37
July 25, 2024 09:00 1m 56s main
main
July 25, 2024 09:00 1m 56s
fpu: clarify current FPU switching strategy Deploy RFC book #14: Commit 9d7864b pushed by lsf37
July 25, 2024 07:47 2m 1s main
main
July 25, 2024 07:47 2m 1s
rfc-5: finish Core Platform/Microkit rename Deploy RFC book #13: Commit 6f821e4 pushed by lsf37
June 17, 2024 02:16 4m 0s main
main
June 17, 2024 02:16 4m 0s
python style fix Deploy RFC book #12: Commit 1e5505c pushed by lsf37
June 17, 2024 01:45 2m 9s main
main
June 17, 2024 01:45 2m 9s
import RFC-17 Deploy RFC book #11: Commit bb712a4 pushed by lsf37
June 17, 2024 00:49 2m 28s main
main
June 17, 2024 00:49 2m 28s
import RFC-13 Deploy RFC book #10: Commit 565cb38 pushed by lsf37
June 14, 2024 00:02 3m 33s main
main
June 14, 2024 00:02 3m 33s
LICESNES: add BSD-2-Clause Deploy RFC book #9: Commit 1eef74e pushed by lsf37
June 13, 2024 10:04 4m 14s main
main
June 13, 2024 10:04 4m 14s
rfc-11: record disposition Deploy RFC book #8: Commit 732fd30 pushed by lsf37
June 13, 2024 10:02 2m 1s main
main
June 13, 2024 10:02 2m 1s
Import RFC-11 Deploy RFC book #7: Commit 371c8a3 pushed by lsf37
June 13, 2024 10:00 4m 12s main
main
June 13, 2024 10:00 4m 12s
github: fix main branch name Deploy RFC book #6: Commit 237ba01 pushed by lsf37
June 13, 2024 09:46 5m 36s main
main
June 13, 2024 09:46 5m 36s
import RFC-10 Deploy RFC book #5: Commit 5bd6752 pushed by lsf37
June 13, 2024 09:45 3m 23s main
main
June 13, 2024 09:45 3m 23s
import RFC-9 Deploy RFC book #4: Commit 51ff6ad pushed by lsf37
June 13, 2024 09:33 3m 35s main
main
June 13, 2024 09:33 3m 35s
template: add usage instructions Deploy RFC book #3: Commit 404aec5 pushed by lsf37
June 13, 2024 08:37 3m 33s main
main
June 13, 2024 08:37 3m 33s
import RFC-8 Deploy RFC book #2: Commit c2b5535 pushed by lsf37
June 13, 2024 08:03 3m 31s main
main
June 13, 2024 08:03 3m 31s
github: deploy RFC book to GitHub pages Deploy RFC book #1: Commit 73b004a pushed by lsf37
June 13, 2024 06:20 3m 33s main
main
June 13, 2024 06:20 3m 33s