Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,192 workflow run results
1,192 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github: add imx8mm workflow for branch push Proofs #775: Commit b14d903 pushed by seL4-ci
March 25, 2024 19:46 3h 43m 52s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
March 25, 2024 19:46 3h 43m 52s
github: add exynos5 workflow for branch push Proofs #774: Commit fc045b5 pushed by seL4-ci
March 25, 2024 19:46 5h 10m 37s exynos5-ver-rebased
exynos5-ver-rebased
March 25, 2024 19:46 5h 10m 37s
aarch64 crefine: resolve most FIXME move tags Proofs #773: Commit c33b569 pushed by lsf37
March 25, 2024 19:46 3h 36m 33s master
master
March 25, 2024 19:46 3h 36m 33s
aarch64 crefine: resolve most FIXME move tags CI #2951: Commit c33b569 pushed by lsf37
March 25, 2024 19:46 25s master
master
March 25, 2024 19:46 25s
github: add exynos5 workflow for branch push Proofs #772: Commit bd4a1f7 pushed by seL4-ci
March 25, 2024 19:46 1m 11s exynos5-ver-rebased
exynos5-ver-rebased
March 25, 2024 19:46 1m 11s
github: add imx8mm workflow for branch push Proofs #771: Commit 4616c2c pushed by seL4-ci
March 25, 2024 19:46 1m 10s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
March 25, 2024 19:46 1m 10s
word_lib+crefine: move AARCH64 lemmas to Word_Lib CI #2950: Commit a5baa09 pushed by lsf37
March 25, 2024 19:45 26s master
master
March 25, 2024 19:45 26s
word_lib+crefine: move AARCH64 lemmas to Word_Lib Proofs #770: Commit a5baa09 pushed by lsf37
March 25, 2024 19:45 1m 11s master
master
March 25, 2024 19:45 1m 11s
github: add imx8mm workflow for branch push Proofs #769: Commit 9848078 pushed by seL4-ci
March 25, 2024 19:45 1h 3m 32s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
March 25, 2024 19:45 1h 3m 32s
github: add exynos5 workflow for branch push Proofs #768: Commit 8f25787 pushed by seL4-ci
March 25, 2024 19:45 1h 27m 38s exynos5-ver-rebased
exynos5-ver-rebased
March 25, 2024 19:45 1h 27m 38s
crefine: remove unused lemmas; resolve AARCH64 FIXMEs CI #2949: Commit 2cb76af pushed by lsf37
March 25, 2024 19:44 29s master
master
March 25, 2024 19:44 29s
crefine: remove unused lemmas; resolve AARCH64 FIXMEs Proofs #767: Commit 2cb76af pushed by lsf37
March 25, 2024 19:44 1h 42m 0s master
master
March 25, 2024 19:44 1h 42m 0s
manifest-update Proofs #766: Repository dispatch triggered by seL4-ci
March 25, 2024 17:44 3h 51m 32s
March 25, 2024 17:44 3h 51m 32s
aarch64: resolve most FIXME move tags CI #2948: Pull request #740 synchronize by lsf37
March 25, 2024 14:04 26s aarch64-fixme-move
aarch64-fixme-move
March 25, 2024 14:04 26s
aarch64: resolve most FIXME move tags PR #2486: Pull request #740 synchronize by lsf37
March 25, 2024 14:04 53s aarch64-fixme-move
aarch64-fixme-move
March 25, 2024 14:04 53s
aarch64: resolve most FIXME move tags Proof PR #2795: Pull request #740 synchronize by lsf37
March 25, 2024 14:04 3h 31m 20s
March 25, 2024 14:04 3h 31m 20s
word_lib+crefine: move lemmas to Word_Lib CI #2947: Pull request #736 synchronize by lsf37
March 25, 2024 14:01 28s aarch64-word-move
aarch64-word-move
March 25, 2024 14:01 28s
word_lib+crefine: move lemmas to Word_Lib PR #2485: Pull request #736 synchronize by lsf37
March 25, 2024 14:01 53s aarch64-word-move
aarch64-word-move
March 25, 2024 14:01 53s
word_lib+crefine: move lemmas to Word_Lib Proof PR #2794: Pull request #736 synchronize by lsf37
March 25, 2024 14:01 4h 46m 53s
March 25, 2024 14:01 4h 46m 53s
word_lib+crefine: move lemmas to Word_Lib CI #2946: Pull request #736 synchronize by lsf37
March 25, 2024 14:00 21s aarch64-word-move
aarch64-word-move
March 25, 2024 14:00 21s
word_lib+crefine: move lemmas to Word_Lib PR #2484: Pull request #736 synchronize by lsf37
March 25, 2024 14:00 48s aarch64-word-move
aarch64-word-move
March 25, 2024 14:00 48s
word_lib+crefine: move lemmas to Word_Lib Proof PR #2793: Pull request #736 synchronize by lsf37
March 25, 2024 14:00 3h 39m 0s
March 25, 2024 14:00 3h 39m 0s
crefine: remove unused lemmas; resolve AARCH64 FIXMEs PR #2483: Pull request #735 synchronize by lsf37
March 25, 2024 13:57 48s aarch64-cleanup
aarch64-cleanup
March 25, 2024 13:57 48s
crefine: remove unused lemmas; resolve AARCH64 FIXMEs CI #2945: Pull request #735 synchronize by lsf37
March 25, 2024 13:57 30s aarch64-cleanup
aarch64-cleanup
March 25, 2024 13:57 30s
crefine: remove unused lemmas; resolve AARCH64 FIXMEs Proof PR #2792: Pull request #735 synchronize by lsf37
March 25, 2024 13:57 3h 32m 51s
March 25, 2024 13:57 3h 32m 51s