Skip to content

Actions: seL4/rfcs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
54 workflow runs
54 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
RFC-26: Microkit API/Entrypoint Changes CI #67: Pull request #41 opened by midnightveil
46s au-ts:julia/microkit-api-changes
au-ts:julia/microkit-api-changes
46s
RFC-26: Microkit API/Entrypoint Changes PR #48: Pull request #41 opened by midnightveil
43s au-ts:julia/microkit-api-changes
au-ts:julia/microkit-api-changes
43s
RFC-25: Add post-initialiser to Microkit CI #66: Pull request #40 opened by terryzbai
35s au-ts:post-initialisation-rfc
au-ts:post-initialisation-rfc
35s
RFC-25: Add post-initialiser to Microkit PR #47: Pull request #40 opened by terryzbai
47s au-ts:post-initialisation-rfc
au-ts:post-initialisation-rfc
47s
github: bump GH action versions CI #64: Commit 5d789d4 pushed by lsf37
37s main
main
37s
github: bump GH action versions Deploy RFC book #24: Commit 5d789d4 pushed by lsf37
1m 49s main
main
1m 49s
github: bump GH action versions CI #63: Pull request #38 opened by lsf37
41s node-20
node-20
41s
github: bump GH action versions PR #45: Pull request #38 opened by lsf37
44s node-20
node-20
44s
RFC-24: Add support for Intel APICv PR #44: Pull request #37 opened by dreamliner787-9
42s au-ts:x86_apicv
au-ts:x86_apicv
42s
RFC-24: Add support for Intel APICv CI #62: Pull request #37 opened by dreamliner787-9
43s au-ts:x86_apicv
au-ts:x86_apicv
43s
ADD RFC 20 disposition and implementation changes CI #61: Commit ad8d2c1 pushed by lsf37
4m 43s main
main
4m 43s
ADD RFC 20 disposition and implementation changes Deploy RFC book #23: Commit ad8d2c1 pushed by lsf37
4m 5s main
main
4m 5s
RFC-20: Runtime Domain Schedules CI #60: Pull request #33 synchronize by lsf37
3m 18s 0200-domain-schedules
0200-domain-schedules
3m 18s
RFC-20: Runtime Domain Schedules PR #43: Pull request #33 synchronize by lsf37
9m 44s 0200-domain-schedules
0200-domain-schedules
9m 44s
Add missing RFC title CI #59: Commit 238727f pushed by lsf37
49s main
main
49s
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 CI #58: Commit 6c24fba pushed by lsf37
1m 6s main
main
1m 6s
RFC-19: add disposition, update text Deploy RFC book #21: Commit 6c24fba pushed by lsf37
1m 54s main
main
1m 54s
Add RFC for deprecating and removing old boards PR #42: Pull request #30 synchronize by lsf37
50s 0190-deprecation
0190-deprecation
50s
Add RFC for deprecating and removing old boards CI #57: Pull request #30 synchronize by lsf37
1m 6s 0190-deprecation
0190-deprecation
1m 6s
Mark RFC-5 as implemented CI #56: Commit b8db338 pushed by Ivan-Velickovic
1m 2s main
main
1m 2s
Mark RFC-5 as implemented Deploy RFC book #20: Commit b8db338 pushed by Ivan-Velickovic
1m 53s main
main
1m 53s
Mark RFC-5 as implemented PR #41: Pull request #36 opened by Ivan-Velickovic
55s Ivan-Velickovic:rfc_5_implement
Ivan-Velickovic:rfc_5_implement
55s
Mark RFC-5 as implemented CI #55: Pull request #36 opened by Ivan-Velickovic
1m 0s Ivan-Velickovic:rfc_5_implement
Ivan-Velickovic:rfc_5_implement
1m 0s
RFC-22: SBI capability PR #40: Pull request #35 synchronize by Ivan-Velickovic
2m 19s Ivan-Velickovic:sbi_cap
Ivan-Velickovic:sbi_cap
2m 19s