Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update ARM Access for det_ext changes CI #3385: Pull request #840 synchronize by corlewis
February 4, 2025 02:16 27s corlewis:det_ext_state_arm
corlewis:det_ext_state_arm
February 4, 2025 02:16 27s
Update ARM Access for det_ext changes Proof PR #3150: Pull request #840 synchronize by corlewis
February 4, 2025 02:16 38m 21s
February 4, 2025 02:16 38m 21s
Update ARM Access for det_ext changes Lint #215: Pull request #840 synchronize by corlewis
February 4, 2025 02:16 45s
February 4, 2025 02:16 45s
rebase Rebase #52: Repository dispatch triggered by github-actions bot
February 3, 2025 05:14 29s
February 3, 2025 05:14 29s
manifest-update Proofs #1033: Repository dispatch triggered by seL4-ci
February 3, 2025 05:13 1h 59m 21s
February 3, 2025 05:13 1h 59m 21s
rebase Rebase #51: Repository dispatch triggered by github-actions bot
February 2, 2025 10:08 22s
February 2, 2025 10:08 22s
manifest-update Proofs #1032: Repository dispatch triggered by seL4-ci
February 2, 2025 10:08 18m 21s
February 2, 2025 10:08 18m 21s
Weekly Clean Weekly Clean #184: Scheduled
February 1, 2025 15:04 3h 29m 9s master
master
February 1, 2025 15:04 3h 29m 9s
External External #85: Scheduled
February 1, 2025 15:02 2h 28m 54s master
master
February 1, 2025 15:02 2h 28m 54s
remove valid_arch_mdb_ctes PR #2846: Pull request #849 opened by lsf37
January 31, 2025 02:19 43s ioports
ioports
January 31, 2025 02:19 43s
remove valid_arch_mdb_ctes CI #3384: Pull request #849 opened by lsf37
January 31, 2025 02:19 20s ioports
ioports
January 31, 2025 02:19 20s
remove valid_arch_mdb_ctes Lint #214: Pull request #849 opened by lsf37
January 31, 2025 02:19 49s
January 31, 2025 02:19 49s
remove valid_arch_mdb_ctes Proof PR #3149: Pull request #849 opened by lsf37
January 31, 2025 02:19 3h 5m 10s
January 31, 2025 02:19 3h 5m 10s
rebase Rebase #50: Repository dispatch triggered by github-actions bot
January 31, 2025 02:07 23s
January 31, 2025 02:07 23s
manifest-update Proofs #1031: Repository dispatch triggered by seL4-ci
January 31, 2025 02:06 18m 10s
January 31, 2025 02:06 18m 10s
github: add imx8mm workflow for branch push Proofs #1030: Commit 0623978 pushed by seL4-ci
January 30, 2025 22:41 2h 26m 56s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
January 30, 2025 22:41 2h 26m 56s
rebase Rebase #49: Repository dispatch triggered by github-actions bot
January 30, 2025 22:41 26s
January 30, 2025 22:41 26s
manifest-update Proofs #1029: Repository dispatch triggered by seL4-ci
January 30, 2025 22:41 2h 42m 1s
January 30, 2025 22:41 2h 42m 1s
Improve reasoning for linked lists PR #2845: Pull request #848 opened by michaelmcinerney
January 29, 2025 08:29 1m 59s michaelm-disjoint_queues
michaelm-disjoint_queues
January 29, 2025 08:29 1m 59s
Improve reasoning for linked lists CI #3383: Pull request #848 opened by michaelmcinerney
January 29, 2025 08:29 25s michaelm-disjoint_queues
michaelm-disjoint_queues
January 29, 2025 08:29 25s
Improve reasoning for linked lists Lint #213: Pull request #848 opened by michaelmcinerney
January 29, 2025 08:29 48s
January 29, 2025 08:29 48s
Improve reasoning for linked lists Proof PR #3148: Pull request #848 opened by michaelmcinerney
January 29, 2025 08:29 2h 40m 29s
January 29, 2025 08:29 2h 40m 29s
Weekly Clean Weekly Clean #183: Scheduled
January 25, 2025 15:03 3h 27m 39s master
master
January 25, 2025 15:03 3h 27m 39s
Weekly Clean Weekly Clean #182: Scheduled
January 18, 2025 15:03 3h 42m 46s master
master
January 18, 2025 15:03 3h 42m 46s
External External #84: Scheduled
January 15, 2025 15:02 24m 22s master
master
January 15, 2025 15:02 24m 22s