Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

verification for deferred cache flush in untyped reset CI #3221: Pull request #811 opened by lsf37
August 16, 2024 08:00 28s ut-reset-caching
ut-reset-caching
August 16, 2024 08:00 28s
verification for deferred cache flush in untyped reset Lint #69: Pull request #811 opened by lsf37
August 16, 2024 08:00 52s
August 16, 2024 08:00 52s
verification for deferred cache flush in untyped reset Proof PR #3004: Pull request #811 opened by lsf37
August 16, 2024 08:00 39s
August 16, 2024 08:00 39s
External External #74: Scheduled
August 15, 2024 15:02 2h 36m 21s master
master
August 15, 2024 15:02 2h 36m 21s
rebase Rebase #5: Repository dispatch triggered by github-actions bot
August 14, 2024 13:37 25s
August 14, 2024 13:37 25s
manifest-update Proofs #971: Repository dispatch triggered by seL4-ci
August 14, 2024 13:37 19m 46s
August 14, 2024 13:37 19m 46s
rebase Rebase #4: Repository dispatch triggered by github-actions bot
August 13, 2024 18:33 22s
August 13, 2024 18:33 22s
manifest-update Proofs #970: Repository dispatch triggered by seL4-ci
August 13, 2024 18:33 19m 39s
August 13, 2024 18:33 19m 39s
MCS: Remove grant right from reply cap Lint #68: Pull request #808 synchronize by corlewis
August 12, 2024 08:36 45s
August 12, 2024 08:36 45s
MCS: Remove grant right from reply cap Proof PR #3003: Pull request #808 synchronize by corlewis
August 12, 2024 08:36 2h 14m 51s
August 12, 2024 08:36 2h 14m 51s
MCS: Remove grant right from reply cap PR #2700: Pull request #808 synchronize by corlewis
August 12, 2024 08:36 59s corlewis/mcs-grant-via-reply
corlewis/mcs-grant-via-reply
August 12, 2024 08:36 59s
MCS: Remove grant right from reply cap CI #3220: Pull request #808 synchronize by corlewis
August 12, 2024 08:36 26s corlewis/mcs-grant-via-reply
corlewis/mcs-grant-via-reply
August 12, 2024 08:36 26s
Weekly Clean Weekly Clean #159: Scheduled
August 10, 2024 15:03 3h 43m 1s master
master
August 10, 2024 15:03 3h 43m 1s
rebase Rebase #3: Repository dispatch triggered by github-actions bot
August 9, 2024 04:40 21s
August 9, 2024 04:40 21s
docs: use internet archive for isabelle.systems CI #3219: Commit 0d07f4f pushed by lsf37
August 9, 2024 04:40 24s master
master
August 9, 2024 04:40 24s
docs: use internet archive for isabelle.systems Proofs #969: Commit 0d07f4f pushed by lsf37
August 9, 2024 04:40 3h 12m 50s master
master
August 9, 2024 04:40 3h 12m 50s
MCS: Remove grant right from reply cap PR #2699: Pull request #808 synchronize by corlewis
August 9, 2024 04:26 55s corlewis/mcs-grant-via-reply
corlewis/mcs-grant-via-reply
August 9, 2024 04:26 55s
MCS: Remove grant right from reply cap CI #3218: Pull request #808 synchronize by corlewis
August 9, 2024 04:26 23s corlewis/mcs-grant-via-reply
corlewis/mcs-grant-via-reply
August 9, 2024 04:26 23s
MCS: Remove grant right from reply cap Proof PR #3002: Pull request #808 synchronize by corlewis
August 9, 2024 04:26 2h 39m 43s
August 9, 2024 04:26 2h 39m 43s
MCS: Remove grant right from reply cap Lint #67: Pull request #808 synchronize by corlewis
August 9, 2024 04:26 48s
August 9, 2024 04:26 48s
docs: use internet archive for isabelle.systems PR #2698: Pull request #810 opened by Xaphiosis
August 8, 2024 19:06 1m 1s links_isabelle_systems
links_isabelle_systems
August 8, 2024 19:06 1m 1s
docs: use internet archive for isabelle.systems Lint #66: Pull request #810 opened by Xaphiosis
August 8, 2024 19:06 45s
August 8, 2024 19:06 45s
docs: use internet archive for isabelle.systems CI #3217: Pull request #810 opened by Xaphiosis
August 8, 2024 19:06 29s links_isabelle_systems
links_isabelle_systems
August 8, 2024 19:06 29s
Arch-split overhaul for design spec CI #3216: Pull request #809 opened by Xaphiosis
August 8, 2024 18:42 29s Xaphiosis:arch-split_design
Xaphiosis:arch-split_design
August 8, 2024 18:42 29s
Arch-split overhaul for design spec PR #2697: Pull request #809 opened by Xaphiosis
August 8, 2024 18:42 1m 20s Xaphiosis:arch-split_design
Xaphiosis:arch-split_design
August 8, 2024 18:42 1m 20s