Skip to content

Actions: seL4/microkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
MapPerms: Consistency between map and iomap PR #1557: Pull request #577 synchronize by cazb2
33m 29s au-ts:callumb/improve_permission_repr
au-ts:callumb/improve_permission_repr
33m 29s
MapPerms: Consistency between map and iomap CI #1979: Pull request #577 synchronize by cazb2
50s au-ts:callumb/improve_permission_repr
au-ts:callumb/improve_permission_repr
50s
loader: Map all of RAM in the loader PR #1556: Pull request #511 synchronize by midnightveil
4m 9s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
4m 9s
loader: Map all of RAM in the loader CI #1978: Pull request #511 synchronize by midnightveil
34s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
34s
manual: add anchors for other rpi4b variants CI #1977: Commit 3f3c1f0 pushed by dreamliner787-9
37s main
main
37s
manual: add anchors for other rpi4b variants CI #1976: Pull request #593 opened by midnightveil
38s julia/manual-fix-rpi
julia/manual-fix-rpi
38s
Support badged SMC caps to restrict SMC function IDs PR #1555: Pull request #589 synchronize by midnightveil
43m 14s au-ts:julia/badged-smc
au-ts:julia/badged-smc
43m 14s
Support badged SMC caps to restrict SMC function IDs CI #1975: Pull request #589 synchronize by midnightveil
48s au-ts:julia/badged-smc
au-ts:julia/badged-smc
48s
CI CI #1974: by midnightveil
37s main
main
37s
Deploy Deploy #55: by midnightveil
59m 33s main
main
59m 33s
tool(cleanup): add sdf_parse_attribute() functions to decrease duplication PR #1554: Pull request #592 synchronize by midnightveil
34m 6s julia/parsing-cleanup
julia/parsing-cleanup
34m 6s
tool(cleanup): add sdf_parse_attribute() functions to decrease duplication CI #1973: Pull request #592 synchronize by midnightveil
44s julia/parsing-cleanup
julia/parsing-cleanup
44s
tool(cleanup): add sdf_parse_attribute() functions to decrease duplication CI #1972: Pull request #592 opened by midnightveil
40s julia/parsing-cleanup
julia/parsing-cleanup
40s
tool(cleanup): add sdf_parse_attribute() functions to decrease duplication PR #1553: Pull request #592 opened by midnightveil
33m 9s julia/parsing-cleanup
julia/parsing-cleanup
33m 9s
Support badged SMC caps to restrict SMC function IDs CI #1971: Pull request #589 synchronize by midnightveil
1m 57s au-ts:julia/badged-smc
au-ts:julia/badged-smc
1m 57s
Support badged SMC caps to restrict SMC function IDs PR #1552: Pull request #589 synchronize by midnightveil
31m 13s au-ts:julia/badged-smc
au-ts:julia/badged-smc
31m 13s
tool(cleanup): prefer &str over &String CI #1970: Commit be1c3ed pushed by midnightveil
43s main
main
43s
tool(cleanup): prefer &str over &String Deploy #54: Commit be1c3ed pushed by midnightveil
2m 34s main
main
2m 34s
tool(cleanup): use names not IDs for PDs CI #1969: Pull request #590 synchronize by midnightveil
39s au-ts:julia/use-names-not-id
au-ts:julia/use-names-not-id
39s
tool(cleanup): use names not IDs for PDs PR #1551: Pull request #590 synchronize by midnightveil
33m 4s au-ts:julia/use-names-not-id
au-ts:julia/use-names-not-id
33m 4s
tool(cleanup): use names not IDs for PDs PR #1550: Pull request #590 opened by midnightveil
4m 1s au-ts:julia/use-names-not-id
au-ts:julia/use-names-not-id
4m 1s
tool(cleanup): use names not IDs for PDs CI #1968: Pull request #590 opened by midnightveil
39s au-ts:julia/use-names-not-id
au-ts:julia/use-names-not-id
39s
Support badged SMC caps to restrict SMC function IDs CI #1967: Pull request #589 synchronize by midnightveil
39s au-ts:julia/badged-smc
au-ts:julia/badged-smc
39s
Support badged SMC caps to restrict SMC function IDs PR #1549: Pull request #589 synchronize by midnightveil
50m 49s au-ts:julia/badged-smc
au-ts:julia/badged-smc
50m 49s
Support badged SMC caps to restrict SMC function IDs PR #1548: Pull request #589 synchronize by midnightveil
31m 6s au-ts:julia/badged-smc
au-ts:julia/badged-smc
31m 6s