Skip to content

Actions: seL4/microkit

Actions

SDK

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sdk.yaml
697 workflow runs
697 workflow runs

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: fix regression from bde5eb SDK #1599: Commit 0ad3891 pushed by Ivan-Velickovic
30m 18s main
main
30m 18s
tool: fix regression from bde5eb SDK #1598: Pull request #485 opened by Ivan-Velickovic
28m 58s fix_regression
fix_regression
28m 58s
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 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 SDK #1595: Pull request #484 opened by Ivan-Velickovic
29m 17s riscv_loader_exception_handler
riscv_loader_exception_handler
29m 17s
tool: rustfmt SDK #1594: Commit 28f4984 pushed by Ivan-Velickovic
59m 18s main
main
59m 18s
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 SDK #1592: Commit 00275d5 pushed by Ivan-Velickovic
30m 8s main
main
30m 8s
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) 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) 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) 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) 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) SDK #1586: Pull request #482 synchronize by Ivan-Velickovic
8m 16s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
8m 16s
Loader MMU Cleanups (AArch64) SDK #1585: Pull request #482 synchronize by Ivan-Velickovic
30m 50s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
30m 50s
tool: fix kernel mappings for RISC-V loader SDK #1584: Pull request #483 opened by Ivan-Velickovic
29m 12s riscv_mappings_fix
riscv_mappings_fix
29m 12s
Loader MMU Cleanups (AArch64) SDK #1583: Pull request #482 synchronize by midnightveil
29m 3s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
29m 3s
Add stm32mp2 support SDK #1582: Pull request #446 synchronize by bruelc
4m 45s bruelc:stm32mp2
bruelc:stm32mp2
4m 45s
Loader MMU Cleanups (AArch64) SDK #1581: Pull request #482 opened by midnightveil
29m 32s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
29m 32s
ci: support for running HW CI SDK #1580: Pull request #475 synchronize by midnightveil
30m 26s au-ts:julia/ci-clean
au-ts:julia/ci-clean
30m 26s
Loader name consistency SDK #1579: Commit dd818c1 pushed by Ivan-Velickovic
41m 8s main
main
41m 8s
aarch64: Restrict address mappings in loader.rs SDK #1577: Pull request #464 synchronize by Ivan-Velickovic
28m 20s bruelc:master-mmuloader
bruelc:master-mmuloader
28m 20s
build_sdk: use a jobserver/thread pool for speed SDK #1576: Pull request #479 synchronize by midnightveil
22m 0s au-ts:julia/faster-builds
au-ts:julia/faster-builds
22m 0s
build_sdk: use a jobserver/thread pool for speed SDK #1575: Pull request #479 opened by midnightveil
22m 22s au-ts:julia/faster-builds
au-ts:julia/faster-builds
22m 22s
aarch64: Restrict address mappings in loader.rs SDK #1574: Pull request #464 synchronize by Ivan-Velickovic
28m 42s bruelc:master-mmuloader
bruelc:master-mmuloader
28m 42s