Skip to content

Actions: seL4/microkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,294 workflow runs
2,294 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: Map all of RAM in the loader PR #1396: Pull request #511 synchronize by midnightveil
51m 22s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
51m 22s
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
loader: Map all of RAM in the loader SDK #1761: Pull request #511 synchronize by midnightveil
31m 3s au-ts:julia/loader-mmu
au-ts:julia/loader-mmu
31m 3s
Switch to two level cnodes PR #1395: Pull request #538 synchronize by terryzbai
31m 7s au-ts:switch-to-two-level-cnodes
au-ts:switch-to-two-level-cnodes
31m 7s
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
Switch to two level cnodes SDK #1760: Pull request #538 synchronize by terryzbai
30m 43s au-ts:switch-to-two-level-cnodes
au-ts:switch-to-two-level-cnodes
30m 43s
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 PR #1394: Pull request #536 synchronize by terryzbai
Action required au-ts:add-bootinfo-tag
au-ts:add-bootinfo-tag
Action required
Add bootinfo tag SDK #1759: Pull request #536 synchronize by terryzbai
Action required au-ts:add-bootinfo-tag
au-ts:add-bootinfo-tag
Action required
Add bootinfo tag PR #1393: 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
Add bootinfo tag SDK #1758: 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 PR #1392: Pull request #538 opened by terryzbai
Action required au-ts:switch-to-two-level-cnodes
au-ts:switch-to-two-level-cnodes
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
Switch to two level cnodes SDK #1757: 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 PR #1391: Pull request #536 synchronize by terryzbai
26m 8s au-ts:add-bootinfo-tag
au-ts:add-bootinfo-tag
26m 8s
Add bootinfo tag SDK #1756: Pull request #536 synchronize by terryzbai
30m 0s au-ts:add-bootinfo-tag
au-ts:add-bootinfo-tag
30m 0s
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
Add bootinfo tag PR #1390: Pull request #536 synchronize by terryzbai
Action required au-ts:add-bootinfo-tag
au-ts:add-bootinfo-tag
Action required
Add bootinfo tag SDK #1755: 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
docs: trivial fixes SDK #1754: Commit bc82c64 pushed by midnightveil
30m 46s main
main
30m 46s
Add bootinfo tag PR #1389: Pull request #536 opened by terryzbai
Action required au-ts:add-bootinfo-tag
au-ts:add-bootinfo-tag
Action required
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