Skip to content

Actions: seL4/seL4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,709 workflow runs
6,709 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make fastpath_restore match restore_user_context CI #6681: Commit a117712 pushed by Indanz
57s master
master
57s
Make fastpath_restore match restore_user_context Proof Sync #573: Commit a117712 pushed by Indanz
2m 4s master
master
2m 4s
Make fastpath_restore match restore_user_context Compile #6590: Commit a117712 pushed by Indanz
59s master
master
59s
Make fastpath_restore match restore_user_context RefMan #5781: Commit a117712 pushed by Indanz
1m 57s master
master
1m 57s
Make fastpath_restore match restore_user_context C Parser #5677: Commit a117712 pushed by Indanz
1m 28s master
master
1m 28s
Make fastpath_restore match restore_user_context Deploy #922: Commit a117712 pushed by Indanz
7h 2m 12s master
master
7h 2m 12s
Make fastpath_restore match restore_user_context Trigger #552: Commit a117712 pushed by Indanz
14s master
master
14s
aarch64: use fixed virtual address for kernel address space (+docs fixes) seL4Test #4925: Pull request #1516 synchronize by midnightveil
9m 54s au-ts:julia/aarch64-fixed-vaddr
au-ts:julia/aarch64-fixed-vaddr
9m 54s
aarch64: use fixed virtual address for kernel address space (+docs fixes) PR #5937: Pull request #1516 synchronize by midnightveil
3m 7s au-ts:julia/aarch64-fixed-vaddr
au-ts:julia/aarch64-fixed-vaddr
3m 7s
aarch64: use fixed virtual address for kernel address space (+docs fixes) CI #6680: Pull request #1516 synchronize by midnightveil
2m 19s au-ts:julia/aarch64-fixed-vaddr
au-ts:julia/aarch64-fixed-vaddr
2m 19s
aarch64: use fixed virtual address for kernel address space (+docs fixes) C Parser #5676: Pull request #1516 synchronize by midnightveil
1m 29s au-ts:julia/aarch64-fixed-vaddr
au-ts:julia/aarch64-fixed-vaddr
1m 29s
aarch64: use fixed virtual address for kernel address space (+docs fixes) Compile #6589: Pull request #1516 synchronize by midnightveil
1m 12s au-ts:julia/aarch64-fixed-vaddr
au-ts:julia/aarch64-fixed-vaddr
1m 12s
aarch64: use fixed virtual address for kernel address space (+docs fixes) RefMan #5780: Pull request #1516 synchronize by midnightveil
1m 22s au-ts:julia/aarch64-fixed-vaddr
au-ts:julia/aarch64-fixed-vaddr
1m 22s
aarch64: use fixed virtual address for kernel address space (+docs fixes) HW #351: Pull request #1516 synchronize by midnightveil
2s
2s
aarch64: use fixed virtual address for kernel address space (+docs fixes) Proofs #5060: Pull request #1516 synchronize by midnightveil
1s
1s
aarch64: use fixed virtual address for kernel address space (+docs fixes) CI #6679: Pull request #1516 synchronize by midnightveil
48s au-ts:julia/aarch64-fixed-vaddr
au-ts:julia/aarch64-fixed-vaddr
48s
aarch64: use fixed virtual address for kernel address space (+docs fixes) seL4Test #4924: Pull request #1516 synchronize by midnightveil
9m 55s au-ts:julia/aarch64-fixed-vaddr
au-ts:julia/aarch64-fixed-vaddr
9m 55s
aarch64: use fixed virtual address for kernel address space (+docs fixes) PR #5936: Pull request #1516 synchronize by midnightveil
1m 31s au-ts:julia/aarch64-fixed-vaddr
au-ts:julia/aarch64-fixed-vaddr
1m 31s
aarch64: use fixed virtual address for kernel address space (+docs fixes) C Parser #5675: Pull request #1516 synchronize by midnightveil
2m 1s au-ts:julia/aarch64-fixed-vaddr
au-ts:julia/aarch64-fixed-vaddr
2m 1s
aarch64: use fixed virtual address for kernel address space (+docs fixes) RefMan #5779: Pull request #1516 synchronize by midnightveil
1m 52s au-ts:julia/aarch64-fixed-vaddr
au-ts:julia/aarch64-fixed-vaddr
1m 52s
aarch64: use fixed virtual address for kernel address space (+docs fixes) Compile #6588: Pull request #1516 synchronize by midnightveil
1m 25s au-ts:julia/aarch64-fixed-vaddr
au-ts:julia/aarch64-fixed-vaddr
1m 25s
aarch64: use fixed virtual address for kernel address space (+docs fixes) HW #350: Pull request #1516 synchronize by midnightveil
2s
2s
aarch64: use fixed virtual address for kernel address space (+docs fixes) Proofs #5059: Pull request #1516 synchronize by midnightveil
1s
1s
aarch64: use fixed virtual address for kernel address space (+docs fixes) PR #5935: Pull request #1516 synchronize by midnightveil
2m 58s au-ts:julia/aarch64-fixed-vaddr
au-ts:julia/aarch64-fixed-vaddr
2m 58s
aarch64: use fixed virtual address for kernel address space (+docs fixes) seL4Test #4923: Pull request #1516 synchronize by midnightveil
10m 52s au-ts:julia/aarch64-fixed-vaddr
au-ts:julia/aarch64-fixed-vaddr
10m 52s