Skip to content

Actions: seL4/microkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,947 workflow runs
1,947 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
loader: set exception handler for RISC-V CI #1614: Commit e81cffb pushed by Ivan-Velickovic
38s main
main
38s
loader: set exception handler for RISC-V SDK #1597: Commit e81cffb pushed by Ivan-Velickovic
36m 46s main
main
36m 46s
loader: set exception handler for RISC-V CI #1613: Pull request #484 synchronize by Ivan-Velickovic
46s riscv_loader_exception_handler
riscv_loader_exception_handler
46s
loader: set exception handler for RISC-V PR #1261: Pull request #484 synchronize by Ivan-Velickovic
54s riscv_loader_exception_handler
riscv_loader_exception_handler
54s
loader: set exception handler for RISC-V SDK #1596: Pull request #484 synchronize by Ivan-Velickovic
28m 45s riscv_loader_exception_handler
riscv_loader_exception_handler
28m 45s
loader: set exception handler for RISC-V CI #1612: Pull request #484 opened by Ivan-Velickovic
38s riscv_loader_exception_handler
riscv_loader_exception_handler
38s
loader: set exception handler for RISC-V PR #1260: Pull request #484 opened by Ivan-Velickovic
58s riscv_loader_exception_handler
riscv_loader_exception_handler
58s
loader: set exception handler for RISC-V SDK #1595: Pull request #484 opened by Ivan-Velickovic
29m 17s riscv_loader_exception_handler
riscv_loader_exception_handler
29m 17s
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