Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github: add num_domains key to artifact upload Proof PR #2662: Pull request #702 opened by lsf37
December 12, 2023 10:58 17m 30s
December 12, 2023 10:58 17m 30s
manifest-update Proofs #645: Repository dispatch triggered by seL4-ci
December 12, 2023 07:15 16m 18s
December 12, 2023 07:15 16m 18s
github: add exynos5 workflow for branch push Proofs #644: Commit 8647eea pushed by lsf37
December 11, 2023 07:31 13m 49s exynos5-ver-rebased
exynos5-ver-rebased
December 11, 2023 07:31 13m 49s
github: add imx8mm workflow for branch push Proofs #643: Commit 85e40c4 pushed by lsf37
December 11, 2023 07:31 13m 2s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
December 11, 2023 07:31 13m 2s
runtest: echo NUM_DOMAINS override Proofs #642: Commit 62f0e20 pushed by lsf37
December 11, 2023 07:28 27s master
master
December 11, 2023 07:28 27s
runtest: echo NUM_DOMAINS override CI #2777: Commit 62f0e20 pushed by lsf37
December 11, 2023 07:28 18s master
master
December 11, 2023 07:28 18s
provide a NUM_DOMAINS test override PR #2351: Pull request #701 synchronize by lsf37
December 11, 2023 07:08 45s num-domains-override
num-domains-override
December 11, 2023 07:08 45s
provide a NUM_DOMAINS test override CI #2776: Pull request #701 synchronize by lsf37
December 11, 2023 07:08 22s num-domains-override
num-domains-override
December 11, 2023 07:08 22s
provide a NUM_DOMAINS test override Proof PR #2661: Pull request #701 synchronize by lsf37
December 11, 2023 07:08 16m 14s
December 11, 2023 07:08 16m 14s
github: add imx8mm workflow for branch push Proofs #641: Commit e7731a7 pushed by seL4-ci
December 10, 2023 19:24 15m 16s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
December 10, 2023 19:24 15m 16s
github: add exynos5 workflow for branch push Proofs #640: Commit cc8f89f pushed by lsf37
December 10, 2023 19:23 15m 54s exynos5-ver-rebased
exynos5-ver-rebased
December 10, 2023 19:23 15m 54s
github: docs for platform branch rebase workflow Proofs #639: Commit 1278a8d pushed by lsf37
December 10, 2023 13:03 25s master
master
December 10, 2023 13:03 25s
github: docs for platform branch rebase workflow CI #2775: Commit 1278a8d pushed by lsf37
December 10, 2023 13:03 29s master
master
December 10, 2023 13:03 29s
provide a NUM_DOMAINS test override CI #2774: Pull request #701 synchronize by lsf37
December 10, 2023 11:58 22s num-domains-override
num-domains-override
December 10, 2023 11:58 22s
provide a NUM_DOMAINS test override PR #2350: Pull request #701 synchronize by lsf37
December 10, 2023 11:58 43s num-domains-override
num-domains-override
December 10, 2023 11:58 43s
provide a NUM_DOMAINS test override Proof PR #2660: Pull request #701 synchronize by lsf37
December 10, 2023 11:58 16m 32s
December 10, 2023 11:58 16m 32s
provide a NUM_DOMAINS test override PR #2349: Pull request #701 synchronize by lsf37
December 10, 2023 11:12 40s num-domains-override
num-domains-override
December 10, 2023 11:12 40s
provide a NUM_DOMAINS test override CI #2773: Pull request #701 synchronize by lsf37
December 10, 2023 11:12 42s num-domains-override
num-domains-override
December 10, 2023 11:12 42s
provide a NUM_DOMAINS test override Proof PR #2659: Pull request #701 synchronize by lsf37
December 10, 2023 11:12 17m 11s
December 10, 2023 11:12 17m 11s
provide a NUM_DOMAINS test override CI #2772: Pull request #701 synchronize by lsf37
December 10, 2023 10:55 18s num-domains-override
num-domains-override
December 10, 2023 10:55 18s
provide a NUM_DOMAINS test override PR #2348: Pull request #701 synchronize by lsf37
December 10, 2023 10:55 55s num-domains-override
num-domains-override
December 10, 2023 10:55 55s
provide a NUM_DOMAINS test override Proof PR #2658: Pull request #701 synchronize by lsf37
December 10, 2023 10:55 18m 10s
December 10, 2023 10:55 18m 10s
provide a NUM_DOMAINS test override CI #2771: Pull request #701 opened by lsf37
December 10, 2023 10:55 19s num-domains-override
num-domains-override
December 10, 2023 10:55 19s
provide a NUM_DOMAINS test override PR #2347: Pull request #701 opened by lsf37
December 10, 2023 10:55 49s num-domains-override
num-domains-override
December 10, 2023 10:55 49s
provide a NUM_DOMAINS test override Proof PR #2657: Pull request #701 opened by lsf37
December 10, 2023 10:55 16m 41s
December 10, 2023 10:55 16m 41s
ProTip! You can narrow down the results and go further in time using created:<2023-12-10 or the other filters available.