Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,681 workflow runs
2,681 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Weekly Clean Weekly Clean #234: Scheduled
4h 8m 52s master
master
4h 8m 52s
External External #107: Scheduled
4h 12m 56s master
master
4h 12m 56s
Weekly Clean Weekly Clean #233: Scheduled
4h 7m 19s master
master
4h 7m 19s
Weekly Clean Weekly Clean #232: Scheduled
4h 6m 59s master
master
4h 6m 59s
rebase Rebase #236: Repository dispatch triggered by github-actions bot
22s
22s
monads: make invariant notation bidirectional CI #3867: Commit c20f827 pushed by lsf37
47s master
master
47s
monads: make invariant notation bidirectional Proofs #1275: Commit c20f827 pushed by lsf37
4h 10m 35s master
master
4h 10m 35s
rebase Rebase #235: Repository dispatch triggered by github-actions bot
21s
21s
manifest-update Proofs #1274: Repository dispatch triggered by seL4-ci
3h 15m 45s
3h 15m 45s
monads: make invariant notation bidirectional PR #3248: Pull request #949 synchronize by lsf37
1m 14s inv-syntax
inv-syntax
1m 14s
monads: make invariant notation bidirectional CI #3866: Pull request #949 synchronize by lsf37
39s inv-syntax
inv-syntax
39s
monads: make invariant notation bidirectional Lint #625: Pull request #949 synchronize by lsf37
1m 5s
1m 5s
monads: make invariant notation bidirectional Proof PR #3553: Pull request #949 synchronize by lsf37
3h 32m 52s
3h 32m 52s
monads: make invariant notation bidirectional PR #3247: Pull request #949 opened by lsf37
1m 17s inv-syntax
inv-syntax
1m 17s
monads: make invariant notation bidirectional CI #3865: Pull request #949 opened by lsf37
41s inv-syntax
inv-syntax
41s
monads: make invariant notation bidirectional Proof PR #3552: Pull request #949 opened by lsf37
43s
43s
monads: make invariant notation bidirectional Lint #624: Pull request #949 opened by lsf37
1m 22s
1m 22s
rebase Rebase #234: Repository dispatch triggered by github-actions bot
20s
20s
manifest-update Proofs #1273: Repository dispatch triggered by seL4-ci
2h 57m 44s
2h 57m 44s
arch-split Schedule_R PR #3246: Pull request #948 opened by Xaphiosis
1m 7s arch-split
arch-split
1m 7s
arch-split Schedule_R Proof PR #3551: Pull request #948 opened by Xaphiosis
2h 30m 54s
2h 30m 54s
arch-split Schedule_R CI #3864: Pull request #948 opened by Xaphiosis
56s arch-split
arch-split
56s
arch-split Schedule_R Lint #623: Pull request #948 opened by Xaphiosis
1m 23s
1m 23s
rebase Rebase #233: Repository dispatch triggered by github-actions bot
22s
22s
rebase Rebase #232: Repository dispatch triggered by github-actions bot
40s
40s