Skip to content

Actions: seL4/microkit

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
815 workflow runs
815 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
loader: Map all of RAM in the loader CI #1778: Pull request #511 synchronize by midnightveil
40s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
40s
Switch to two level cnodes CI #1777: Pull request #538 synchronize by terryzbai
38s au-ts:switch-to-two-level-cnodes
au-ts:switch-to-two-level-cnodes
38s
Add bootinfo tag CI #1776: Pull request #536 synchronize by terryzbai
Action required au-ts:add-bootinfo-tag
au-ts:add-bootinfo-tag
Action required
Add bootinfo tag CI #1775: Pull request #536 synchronize by terryzbai
Action required au-ts:add-bootinfo-tag
au-ts:add-bootinfo-tag
Action required
Switch to two level cnodes CI #1774: Pull request #538 opened by terryzbai
Action required au-ts:switch-to-two-level-cnodes
au-ts:switch-to-two-level-cnodes
Action required
Add bootinfo tag CI #1773: Pull request #536 synchronize by terryzbai
41s au-ts:add-bootinfo-tag
au-ts:add-bootinfo-tag
41s
Add bootinfo tag CI #1772: Pull request #536 synchronize by terryzbai
Action required au-ts:add-bootinfo-tag
au-ts:add-bootinfo-tag
Action required
docs: trivial fixes CI #1771: Commit bc82c64 pushed by midnightveil
48s main
main
48s
Add bootinfo tag CI #1770: Pull request #536 opened by terryzbai
Action required au-ts:add-bootinfo-tag
au-ts:add-bootinfo-tag
Action required
docs: trivial fixes CI #1769: Pull request #533 synchronize by yf13
55s yf13:pull-manual-fixes
yf13:pull-manual-fixes
55s
tool: create IPC buffer in the tool, not the ELF CI #1768: Pull request #532 synchronize by midnightveil
37s au-ts:julia/ipc-buffer-patched
au-ts:julia/ipc-buffer-patched
37s
tool: create IPC buffer in the tool, not the ELF CI #1767: Pull request #532 synchronize by midnightveil
36s au-ts:julia/ipc-buffer-patched
au-ts:julia/ipc-buffer-patched
36s
examples: add --viper-output to the hello example CI #1766: Commit 3be0795 pushed by midnightveil
39s main
main
39s
Fix approach used for making PDs passive CI #1765: Pull request #535 opened by dreamliner787-9
34s au-ts:passive_improve
au-ts:passive_improve
34s
tool: add --viper-output option CI #1764: Pull request #534 synchronize by midnightveil
46s au-ts:viper/export-final
au-ts:viper/export-final
46s
tool: add --viper-output option CI #1763: Pull request #534 synchronize by zaklogician
34s au-ts:viper/export-final
au-ts:viper/export-final
34s
tool: add --viper-output option CI #1762: Pull request #534 synchronize by zaklogician
45s au-ts:viper/export-final
au-ts:viper/export-final
45s
tool: add --viper-output option CI #1761: Pull request #534 synchronize by zaklogician
37s au-ts:viper/export-final
au-ts:viper/export-final
37s
tool: add --viper-output option CI #1760: Pull request #534 synchronize by zaklogician
37s au-ts:viper/export-final
au-ts:viper/export-final
37s
tool: add --viper-output option CI #1759: Pull request #534 synchronize by zaklogician
39s au-ts:viper/export-final
au-ts:viper/export-final
39s
tool: add --viper-output option CI #1758: Pull request #534 opened by zaklogician
40s au-ts:viper/export-final
au-ts:viper/export-final
40s
Update rust-sel4 commit from TS fork to mainline CI #1757: Pull request #531 synchronize by dreamliner787-9
31s au-ts:rust_sel4_update_to_main
au-ts:rust_sel4_update_to_main
31s
docs: trivial fixes CI #1756: Pull request #533 opened by yf13
38s yf13:pull-manual-fixes
yf13:pull-manual-fixes
38s
tool: create IPC buffer in the tool, not the ELF CI #1755: Pull request #532 synchronize by midnightveil
35s au-ts:julia/ipc-buffer-patched
au-ts:julia/ipc-buffer-patched
35s
tool: create IPC buffer in the tool, not the ELF CI #1754: Pull request #532 synchronize by midnightveil
38s au-ts:julia/ipc-buffer-patched
au-ts:julia/ipc-buffer-patched
38s