Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Weekly Clean Weekly Clean #179: Scheduled
December 28, 2024 15:04 3h 29m 18s master
master
December 28, 2024 15:04 3h 29m 18s
Weekly Clean Weekly Clean #178: Scheduled
December 21, 2024 15:03 3h 30m 34s master
master
December 21, 2024 15:03 3h 30m 34s
rt ainvs: remove set_map_fst_filter_zip from AInvs (now in Lib) CI #3376: Commit b91e1d9 pushed by michaelmcinerney
December 20, 2024 07:56 24s rt
rt
December 20, 2024 07:56 24s
rt ainvs: remove set_map_fst_filter_zip from AInvs (now in Lib) Proofs #1028: Commit b91e1d9 pushed by michaelmcinerney
December 20, 2024 07:56 2h 40m 21s rt
rt
December 20, 2024 07:56 2h 40m 21s
Add sorted_ipc_queues invariant CI #3375: Pull request #836 synchronize by michaelmcinerney
December 20, 2024 06:31 25s michaelm-sorted_ipc_queues
michaelm-sorted_ipc_queues
December 20, 2024 06:31 25s
Add sorted_ipc_queues invariant PR #2838: Pull request #836 synchronize by michaelmcinerney
December 20, 2024 06:31 56s michaelm-sorted_ipc_queues
michaelm-sorted_ipc_queues
December 20, 2024 06:31 56s
Add sorted_ipc_queues invariant Lint #206: Pull request #836 synchronize by michaelmcinerney
December 20, 2024 06:31 44s
December 20, 2024 06:31 44s
Add sorted_ipc_queues invariant Proof PR #3141: Pull request #836 synchronize by michaelmcinerney
December 20, 2024 06:31 1h 18m 45s
December 20, 2024 06:31 1h 18m 45s
github: add imx8mm workflow for branch push Proofs #1027: Commit bb9f342 pushed by lsf37
December 20, 2024 05:20 1h 39m 27s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
December 20, 2024 05:20 1h 39m 27s
Add sorted_ipc_queues invariant PR #2837: Pull request #836 synchronize by michaelmcinerney
December 20, 2024 05:18 49s michaelm-sorted_ipc_queues
michaelm-sorted_ipc_queues
December 20, 2024 05:18 49s
Add sorted_ipc_queues invariant CI #3374: Pull request #836 synchronize by michaelmcinerney
December 20, 2024 05:18 24s michaelm-sorted_ipc_queues
michaelm-sorted_ipc_queues
December 20, 2024 05:18 24s
Add sorted_ipc_queues invariant Lint #205: Pull request #836 synchronize by michaelmcinerney
December 20, 2024 05:18 43s
December 20, 2024 05:18 43s
Add sorted_ipc_queues invariant Proof PR #3140: Pull request #836 synchronize by michaelmcinerney
December 20, 2024 05:18 2h 20m 14s
December 20, 2024 05:18 2h 20m 14s
rebase Rebase #48: Repository dispatch triggered by github-actions bot
December 20, 2024 05:14 22s
December 20, 2024 05:14 22s
lib: add set_map_fst_filter_zip to Lib Proofs #1026: Commit 911b214 pushed by michaelmcinerney
December 20, 2024 05:14 3h 34m 37s master
master
December 20, 2024 05:14 3h 34m 37s
lib: add set_map_fst_filter_zip to Lib CI #3373: Commit 911b214 pushed by michaelmcinerney
December 20, 2024 05:14 25s master
master
December 20, 2024 05:14 25s
Some changes for Lib, December '24 edition CI #3372: Pull request #845 synchronize by michaelmcinerney
December 20, 2024 02:11 25s michaelm-rules_for_Lib_Dec24
michaelm-rules_for_Lib_Dec24
December 20, 2024 02:11 25s
Some changes for Lib, December '24 edition PR #2836: Pull request #845 synchronize by michaelmcinerney
December 20, 2024 02:11 1m 34s michaelm-rules_for_Lib_Dec24
michaelm-rules_for_Lib_Dec24
December 20, 2024 02:11 1m 34s
Some changes for Lib, December '24 edition Proof PR #3139: Pull request #845 synchronize by michaelmcinerney
December 20, 2024 02:11 2h 50m 44s
December 20, 2024 02:11 2h 50m 44s
Some changes for Lib, December '24 edition Lint #204: Pull request #845 synchronize by michaelmcinerney
December 20, 2024 02:11 45s
December 20, 2024 02:11 45s
github: add imx8mm workflow for branch push Proofs #1025: Commit fddf029 pushed by lsf37
December 20, 2024 00:26 1h 57m 20s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
December 20, 2024 00:26 1h 57m 20s
Some changes for Lib, December '24 edition CI #3371: Pull request #845 synchronize by michaelmcinerney
December 19, 2024 23:54 24s michaelm-rules_for_Lib_Dec24
michaelm-rules_for_Lib_Dec24
December 19, 2024 23:54 24s
Some changes for Lib, December '24 edition PR #2835: Pull request #845 synchronize by michaelmcinerney
December 19, 2024 23:54 45s michaelm-rules_for_Lib_Dec24
michaelm-rules_for_Lib_Dec24
December 19, 2024 23:54 45s
Some changes for Lib, December '24 edition Lint #203: Pull request #845 synchronize by michaelmcinerney
December 19, 2024 23:54 48s
December 19, 2024 23:54 48s
Some changes for Lib, December '24 edition Proof PR #3138: Pull request #845 synchronize by michaelmcinerney
December 19, 2024 23:54 2h 13m 1s
December 19, 2024 23:54 2h 13m 1s