Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

arch-split CSpace_I and CSpace1_R PR #3172: Pull request #925 synchronize by Xaphiosis
3m 34s arch-split
arch-split
3m 34s
arch-split CSpace_I and CSpace1_R PR #3171: Pull request #925 synchronize by Xaphiosis
3m 6s arch-split
arch-split
3m 6s
arch-split CSpace_I and CSpace1_R CI #3772: Pull request #925 synchronize by Xaphiosis
56s arch-split
arch-split
56s
arch-split CSpace_I and CSpace1_R Lint #548: Pull request #925 synchronize by Xaphiosis
2m 57s
2m 57s
arch-split CSpace_I and CSpace1_R Proof PR #3476: Pull request #925 synchronize by Xaphiosis
21m 3s
21m 3s
arch-split CSpace_I and CSpace1_R PR #3170: Pull request #925 synchronize by Xaphiosis
2m 49s arch-split
arch-split
2m 49s
arch-split CSpace_I and CSpace1_R Lint #547: Pull request #925 synchronize by Xaphiosis
3m 9s
3m 9s
arch-split CSpace_I and CSpace1_R Proof PR #3475: Pull request #925 synchronize by Xaphiosis
1h 32m 12s
1h 32m 12s
arch-split CSpace_I and CSpace1_R CI #3771: Pull request #925 synchronize by Xaphiosis
2m 13s arch-split
arch-split
2m 13s
Weekly Clean Weekly Clean #223: Scheduled
4h 10m 24s master
master
4h 10m 24s
rebase Rebase #186: Repository dispatch triggered by github-actions bot
19s
19s
manifest-update Proofs #1224: Repository dispatch triggered by seL4-ci
3h 52m 37s
3h 52m 37s
External External #102: Scheduled
3h 19m 45s master
master
3h 19m 45s
Weekly Clean Weekly Clean #222: Scheduled
4h 4m 25s master
master
4h 4m 25s
rebase Rebase #185: Repository dispatch triggered by github-actions bot
18s
18s
rebase Rebase #184: Repository dispatch triggered by github-actions bot
22s
22s
manifest-update Proofs #1223: Repository dispatch triggered by seL4-ci
7m 15s
7m 15s
github: add imx8mm workflow for branch push Proofs #1222: Commit 9c0571f pushed by lsf37
58m 4s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
58m 4s
rebase Rebase #183: Repository dispatch triggered by github-actions bot
21s
21s
github: add new platforms to CI CI #3770: Commit 8cea3fb pushed by lsf37
2m 23s master
master
2m 23s
github: add new platforms to CI Trigger #31: Commit 8cea3fb pushed by lsf37
7s master
master
7s
github: add new platforms to CI Proofs #1221: Commit 8cea3fb pushed by lsf37
3h 56m 28s master
master
3h 56m 28s
Verification support for remaining Arm platforms PR #3169: Pull request #923 synchronize by lsf37
3m 13s omap3
omap3
3m 13s
Verification support for remaining Arm platforms CI #3769: Pull request #923 synchronize by lsf37
2m 52s omap3
omap3
2m 52s
Verification support for remaining Arm platforms Proof PR #3474: Pull request #923 synchronize by lsf37
3h 44m 4s
3h 44m 4s