Skip to content

Actions: seL4/microkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,955 workflow runs
1,955 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
tool: rustfmt CI #1611: Commit 28f4984 pushed by Ivan-Velickovic
43s main
main
43s
tool: rustfmt SDK #1594: Commit 28f4984 pushed by Ivan-Velickovic
59m 18s main
main
59m 18s
tool: fix kernel mappings for RISC-V loader CI #1610: Pull request #483 synchronize by Ivan-Velickovic
1m 0s riscv_mappings_fix
riscv_mappings_fix
1m 0s
tool: fix kernel mappings for RISC-V loader PR #1259: Pull request #483 synchronize by Ivan-Velickovic
19m 46s riscv_mappings_fix
riscv_mappings_fix
19m 46s
tool: fix kernel mappings for RISC-V loader SDK #1593: Pull request #483 synchronize by Ivan-Velickovic
42m 14s riscv_mappings_fix
riscv_mappings_fix
42m 14s
tool: check config for hypervisor mappings CI #1609: Commit 00275d5 pushed by Ivan-Velickovic
42s main
main
42s
tool: check config for hypervisor mappings SDK #1592: Commit 00275d5 pushed by Ivan-Velickovic
30m 8s main
main
30m 8s
Loader MMU Cleanups (AArch64) CI #1608: Pull request #482 synchronize by midnightveil
1m 25s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
1m 25s
Loader MMU Cleanups (AArch64) PR #1258: Pull request #482 synchronize by midnightveil
1m 13s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
1m 13s
Loader MMU Cleanups (AArch64) SDK #1591: Pull request #482 synchronize by midnightveil
29m 42s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
29m 42s
Loader MMU Cleanups (AArch64) CI #1607: Pull request #482 synchronize by midnightveil
51s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
51s
Loader MMU Cleanups (AArch64) PR #1257: Pull request #482 synchronize by midnightveil
1m 8s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
1m 8s
Loader MMU Cleanups (AArch64) SDK #1590: Pull request #482 synchronize by midnightveil
2m 18s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
2m 18s
Loader MMU Cleanups (AArch64) CI #1606: Pull request #482 synchronize by midnightveil
1m 7s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
1m 7s
Loader MMU Cleanups (AArch64) PR #1256: Pull request #482 synchronize by midnightveil
1m 6s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
1m 6s
Loader MMU Cleanups (AArch64) SDK #1589: Pull request #482 synchronize by midnightveil
11m 55s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
11m 55s
Loader MMU Cleanups (AArch64) PR #1255: Pull request #482 synchronize by midnightveil
1m 42s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
1m 42s
Loader MMU Cleanups (AArch64) CI #1605: Pull request #482 synchronize by midnightveil
41s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
41s
Loader MMU Cleanups (AArch64) SDK #1588: Pull request #482 synchronize by midnightveil
2m 36s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
2m 36s
Loader MMU Cleanups (AArch64) CI #1604: Pull request #482 synchronize by midnightveil
42s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
42s
Loader MMU Cleanups (AArch64) PR #1254: Pull request #482 synchronize by midnightveil
4m 36s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
4m 36s
Loader MMU Cleanups (AArch64) SDK #1587: Pull request #482 synchronize by midnightveil
4m 2s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
4m 2s
Loader MMU Cleanups (AArch64) PR #1253: Pull request #482 synchronize by Ivan-Velickovic
8m 52s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
8m 52s
Loader MMU Cleanups (AArch64) CI #1603: Pull request #482 synchronize by Ivan-Velickovic
42s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
42s
Loader MMU Cleanups (AArch64) SDK #1586: Pull request #482 synchronize by Ivan-Velickovic
8m 16s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
8m 16s