Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: seL4/rfcs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
48 workflow runs
48 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
RFC-22: SBI capability CI #54: Pull request #35 synchronize by Ivan-Velickovic
2m 11s Ivan-Velickovic:sbi_cap
Ivan-Velickovic:sbi_cap
2m 11s
RFC-22: SBI capability PR #39: Pull request #35 opened by Ivan-Velickovic
2m 11s Ivan-Velickovic:sbi_cap
Ivan-Velickovic:sbi_cap
2m 11s
RFC-22: SBI capability CI #53: Pull request #35 opened by Ivan-Velickovic
1m 2s Ivan-Velickovic:sbi_cap
Ivan-Velickovic:sbi_cap
1m 2s
RFC-21: Unify behaviour of the Page Map invocation CI #52: Pull request #34 synchronize by Kswin01
2m 49s Kswin01:0210-overmap
Kswin01:0210-overmap
2m 49s
RFC-21: Unify behaviour of the Page Map invocation PR #38: Pull request #34 synchronize by Kswin01
2m 27s Kswin01:0210-overmap
Kswin01:0210-overmap
2m 27s
RFC-21: Unify behaviour of the Page Map invocation PR #37: Pull request #34 synchronize by Kswin01
2m 44s Kswin01:0210-overmap
Kswin01:0210-overmap
2m 44s
RFC-21: Unify behaviour of the Page Map invocation CI #51: Pull request #34 synchronize by Kswin01
1m 25s Kswin01:0210-overmap
Kswin01:0210-overmap
1m 25s
RFC-21: Unify behaviour of the Page Map invocation PR #36: Pull request #34 synchronize by Kswin01
2m 13s Kswin01:0210-overmap
Kswin01:0210-overmap
2m 13s
RFC-21: Unify behaviour of the Page Map invocation CI #50: Pull request #34 synchronize by Kswin01
2m 34s Kswin01:0210-overmap
Kswin01:0210-overmap
2m 34s
RFC-21: Unify behaviour of the Page Map invocation CI #49: Pull request #34 opened by Kswin01
1m 1s Kswin01:0210-overmap
Kswin01:0210-overmap
1m 1s
RFC-21: Unify behaviour of the Page Map invocation PR #35: Pull request #34 opened by Kswin01
2m 20s Kswin01:0210-overmap
Kswin01:0210-overmap
2m 20s
RFC-20: Runtime Domain Schedules PR #34: Pull request #33 synchronize by lsf37
2m 27s 0200-domain-schedules
0200-domain-schedules
2m 27s
RFC-20: Runtime Domain Schedules CI #48: Pull request #33 synchronize by lsf37
57s 0200-domain-schedules
0200-domain-schedules
57s
RFC-20: Runtime Domain Schedules CI #47: Pull request #33 synchronize by lsf37
2m 2s 0200-domain-schedules
0200-domain-schedules
2m 2s