+
Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Verification support for remaining Arm platforms Lint #546: Pull request #923 synchronize by lsf37
1m 23s
1m 23s
rebase Rebase #182: Repository dispatch triggered by github-actions bot
20s
20s
manifest-update Proofs #1220: Repository dispatch triggered by seL4-ci
3h 2m 42s
3h 2m 42s
Weekly Clean Weekly Clean #221: Scheduled
4h 6m 59s master
master
4h 6m 59s
Verification support for remaining Arm platforms CI #3768: Pull request #923 synchronize by lsf37
59s omap3
omap3
59s
Verification support for remaining Arm platforms PR #3168: Pull request #923 synchronize by lsf37
1m 31s omap3
omap3
1m 31s
Verification support for remaining Arm platforms Proof PR #3473: Pull request #923 synchronize by lsf37
14m 21s
14m 21s
Verification support for remaining Arm platforms Lint #545: Pull request #923 synchronize by lsf37
2m 36s
2m 36s
Verification support for remaining Arm platforms CI #3767: Pull request #923 synchronize by lsf37
2m 8s omap3
omap3
2m 8s
Verification support for remaining Arm platforms Lint #544: Pull request #923 synchronize by lsf37
2m 35s
2m 35s
Verification support for remaining Arm platforms PR #3167: Pull request #923 synchronize by lsf37
3m 47s omap3
omap3
3m 47s
Verification support for remaining Arm platforms Proof PR #3472: Pull request #923 synchronize by lsf37
2h 48m 58s
2h 48m 58s
Verification support for remaining Arm platforms CI #3766: Pull request #923 synchronize by lsf37
1m 0s omap3
omap3
1m 0s
点击 这是indexloc提供的php浏览器服务，不要输入任何密码和下载