Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rebase Rebase #17: Repository dispatch triggered by github-actions bot
October 17, 2024 09:04 27s
October 17, 2024 09:04 27s
manifest-update Proofs #986: Repository dispatch triggered by seL4-ci
October 17, 2024 09:04 19m 27s
October 17, 2024 09:04 19m 27s
External External #78: Scheduled
October 15, 2024 15:02 2h 41m 22s master
master
October 15, 2024 15:02 2h 41m 22s
rebase Rebase #16: Repository dispatch triggered by github-actions bot
October 15, 2024 03:30 21s
October 15, 2024 03:30 21s
manifest-update Proofs #985: Repository dispatch triggered by seL4-ci
October 15, 2024 03:30 3h 43m 39s
October 15, 2024 03:30 3h 43m 39s
rebase Rebase #15: Repository dispatch triggered by github-actions bot
October 15, 2024 02:21 21s
October 15, 2024 02:21 21s
manifest-update Proofs #984: Repository dispatch triggered by seL4-ci
October 15, 2024 02:21 2h 25m 58s
October 15, 2024 02:21 2h 25m 58s
github: add imx8mm workflow for branch push Proofs #983: Commit 1c89863 pushed by lsf37
October 13, 2024 08:59 54m 34s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
October 13, 2024 08:59 54m 34s
github: add imx8mm workflow for branch push Proofs #982: Commit 956e9ac pushed by lsf37
October 13, 2024 00:53 1h 40m 6s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
October 13, 2024 00:53 1h 40m 6s
Weekly Clean Weekly Clean #168: Scheduled
October 12, 2024 15:04 3h 29m 53s master
master
October 12, 2024 15:04 3h 29m 53s
github: add imx8mm workflow for branch push Proofs #981: Commit 48f2b51 pushed by lsf37
October 12, 2024 05:19 2h 27m 16s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
October 12, 2024 05:19 2h 27m 16s
rebase Rebase #14: Repository dispatch triggered by github-actions bot
October 11, 2024 03:37 22s
October 11, 2024 03:37 22s
c-parser: handle sed backup files uniformly in mkrelease Trigger #25: Commit 4f1563a pushed by lsf37
October 11, 2024 03:37 9s master
master
October 11, 2024 03:37 9s
c-parser: handle sed backup files uniformly in mkrelease CI #3265: Commit 4f1563a pushed by lsf37
October 11, 2024 03:37 26s master
master
October 11, 2024 03:37 26s
c-parser: handle sed backup files uniformly in mkrelease Proofs #980: Commit 4f1563a pushed by lsf37
October 11, 2024 03:37 19m 44s master
master
October 11, 2024 03:37 19m 44s
AutoCorres 1.11 + CParser 1.21 release PR #2739: Pull request #823 opened by lsf37
October 10, 2024 22:43 52s autocorres-release
autocorres-release
October 10, 2024 22:43 52s
AutoCorres 1.11 + CParser 1.21 release CI #3264: Pull request #823 opened by lsf37
October 10, 2024 22:43 17s autocorres-release
autocorres-release
October 10, 2024 22:43 17s
AutoCorres 1.11 + CParser 1.21 release Lint #107: Pull request #823 opened by lsf37
October 10, 2024 22:43 45s
October 10, 2024 22:43 45s
AutoCorres 1.11 + CParser 1.21 release Proof PR #3042: Pull request #823 opened by lsf37
October 10, 2024 22:43 17m 3s
October 10, 2024 22:43 17m 3s
Small IPC lemmas PR #2738: Pull request #822 opened by michaelmcinerney
October 8, 2024 05:08 57s michaelm-small_ipc_lemmas
michaelm-small_ipc_lemmas
October 8, 2024 05:08 57s
Small IPC lemmas CI #3263: Pull request #822 opened by michaelmcinerney
October 8, 2024 05:08 27s michaelm-small_ipc_lemmas
michaelm-small_ipc_lemmas
October 8, 2024 05:08 27s
Small IPC lemmas Proof PR #3041: Pull request #822 opened by michaelmcinerney
October 8, 2024 05:08 2h 58m 48s
October 8, 2024 05:08 2h 58m 48s
Small IPC lemmas Lint #106: Pull request #822 opened by michaelmcinerney
October 8, 2024 05:08 48s
October 8, 2024 05:08 48s
rebase Rebase #13: Repository dispatch triggered by github-actions bot
October 7, 2024 06:00 25s
October 7, 2024 06:00 25s
manifest-update Proofs #979: Repository dispatch triggered by seL4-ci
October 7, 2024 06:00 2h 33m 37s
October 7, 2024 06:00 2h 33m 37s