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
smp: enable the second cluster of dual A72 cores for rockpro64 PR #1565: Pull request #599 synchronize by KurtWu10
31m 9s au-ts:kurt/rockpro64_2nd_cluster_enable
au-ts:kurt/rockpro64_2nd_cluster_enable
31m 9s
smp: enable the second cluster of dual A72 cores for rockpro64 CI #1988: Pull request #599 synchronize by KurtWu10
47s au-ts:kurt/rockpro64_2nd_cluster_enable
au-ts:kurt/rockpro64_2nd_cluster_enable
47s
smp: enable the second cluster of dual A72 cores for rockpro64 PR #1564: Pull request #599 synchronize by KurtWu10
6m 23s au-ts:kurt/rockpro64_2nd_cluster_enable
au-ts:kurt/rockpro64_2nd_cluster_enable
6m 23s
smp: enable the second cluster of dual A72 cores for rockpro64 CI #1987: Pull request #599 synchronize by KurtWu10
49s au-ts:kurt/rockpro64_2nd_cluster_enable
au-ts:kurt/rockpro64_2nd_cluster_enable
49s
smp: enable the second cluster of dual A72 cores for rockpro64 PR #1563: Pull request #599 opened by KurtWu10
3m 34s au-ts:kurt/rockpro64_2nd_cluster_enable
au-ts:kurt/rockpro64_2nd_cluster_enable
3m 34s
smp: enable the second cluster of dual A72 cores for rockpro64 CI #1986: Pull request #599 opened by KurtWu10
1m 0s au-ts:kurt/rockpro64_2nd_cluster_enable
au-ts:kurt/rockpro64_2nd_cluster_enable
1m 0s
loader: Map all of RAM in the loader CI #1985: Pull request #511 synchronize by midnightveil
48s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
48s
loader: Map all of RAM in the loader PR #1562: Pull request #511 synchronize by midnightveil
4m 25s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
4m 25s
loader: Map all of RAM in the loader PR #1561: Pull request #511 synchronize by midnightveil
5m 10s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
5m 10s
loader: Map all of RAM in the loader CI #1984: Pull request #511 synchronize by midnightveil
52s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
52s
MapPerms: Consistency between map and iomap CI #1983: Commit 0c04c60 pushed by midnightveil
46s main
main
46s
MapPerms: Consistency between map and iomap Deploy #56: Commit 0c04c60 pushed by midnightveil
58m 33s main
main
58m 33s
loader: Map all of RAM in the loader CI #1982: Pull request #511 synchronize by midnightveil
59s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
59s
loader: Map all of RAM in the loader PR #1560: Pull request #511 synchronize by midnightveil
4m 18s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
4m 18s
loader: Map all of RAM in the loader CI #1981: Pull request #511 synchronize by midnightveil
42s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
42s
loader: Map all of RAM in the loader PR #1559: Pull request #511 synchronize by midnightveil
20s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
20s
MapPerms: Consistency between map and iomap PR #1558: Pull request #577 synchronize by cazb2
26m 21s au-ts:callumb/improve_permission_repr
au-ts:callumb/improve_permission_repr
26m 21s
MapPerms: Consistency between map and iomap CI #1980: Pull request #577 synchronize by cazb2
41s au-ts:callumb/improve_permission_repr
au-ts:callumb/improve_permission_repr
41s
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