Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Weekly Clean Weekly Clean #185: Scheduled
February 8, 2025 15:03 3h 26m 41s master
master
February 8, 2025 15:03 3h 26m 41s
rebase Rebase #56: Repository dispatch triggered by github-actions bot
February 7, 2025 15:47 25s
February 7, 2025 15:47 25s
manifest-update Proofs #1037: Repository dispatch triggered by seL4-ci
February 7, 2025 15:47 1h 57m 49s
February 7, 2025 15:47 1h 57m 49s
rebase Rebase #55: Repository dispatch triggered by github-actions bot
February 6, 2025 06:20 22s
February 6, 2025 06:20 22s
manifest-update Proofs #1036: Repository dispatch triggered by seL4-ci
February 6, 2025 06:20 17m 34s
February 6, 2025 06:20 17m 34s
rebase Rebase #54: Repository dispatch triggered by github-actions bot
February 6, 2025 00:17 23s
February 6, 2025 00:17 23s
manifest-update Proofs #1035: Repository dispatch triggered by seL4-ci
February 6, 2025 00:17 2h 13m 0s
February 6, 2025 00:17 2h 13m 0s
rebase Rebase #53: Repository dispatch triggered by github-actions bot
February 4, 2025 04:46 27s
February 4, 2025 04:46 27s
manifest-update Proofs #1034: Repository dispatch triggered by seL4-ci
February 4, 2025 04:45 2h 43m 40s
February 4, 2025 04:45 2h 43m 40s
Update ARM Access for det_ext changes CI #3386: Pull request #840 synchronize by corlewis
February 4, 2025 02:54 24s corlewis:det_ext_state_arm
corlewis:det_ext_state_arm
February 4, 2025 02:54 24s
Update ARM Access for det_ext changes PR #2848: Pull request #840 synchronize by corlewis
February 4, 2025 02:54 56s corlewis:det_ext_state_arm
corlewis:det_ext_state_arm
February 4, 2025 02:54 56s
Update ARM Access for det_ext changes Lint #216: Pull request #840 synchronize by corlewis
February 4, 2025 02:54 46s
February 4, 2025 02:54 46s
Update ARM Access for det_ext changes Proof PR #3151: Pull request #840 synchronize by corlewis
February 4, 2025 02:54 3h 32m 35s
February 4, 2025 02:54 3h 32m 35s
Update ARM Access for det_ext changes PR #2847: Pull request #840 synchronize by corlewis
February 4, 2025 02:16 1m 2s corlewis:det_ext_state_arm
corlewis:det_ext_state_arm
February 4, 2025 02:16 1m 2s
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