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,459 workflow runs
2,459 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Verification support for remaining Arm platforms CI #3750: Pull request #923 synchronize by lsf37
25s omap3
omap3
25s
Verification support for remaining Arm platforms PR #3152: Pull request #923 synchronize by lsf37
2m 0s omap3
omap3
2m 0s
Verification support for remaining Arm platforms Lint #528: Pull request #923 synchronize by lsf37
2m 2s
2m 2s
Verification support for remaining Arm platforms Proof PR #3457: Pull request #923 synchronize by lsf37
3h 2m 0s
3h 2m 0s
Verification support for remaining Arm platforms PR #3151: Pull request #923 synchronize by lsf37
1m 49s omap3
omap3
1m 49s
Verification support for remaining Arm platforms CI #3749: Pull request #923 synchronize by lsf37
1m 17s omap3
omap3
1m 17s
Verification support for remaining Arm platforms Proof PR #3456: Pull request #923 synchronize by lsf37
3h 22m 37s
3h 22m 37s
Verification support for remaining Arm platforms Lint #527: Pull request #923 synchronize by lsf37
1m 59s
1m 59s
Verification support for remaining Arm platforms CI #3748: Pull request #923 opened by lsf37
44s omap3
omap3
44s
Verification support for remaining Arm platforms PR #3150: Pull request #923 opened by lsf37
2m 5s omap3
omap3
2m 5s
Verification support for remaining Arm platforms Lint #526: Pull request #923 opened by lsf37
2m 5s
2m 5s
Verification support for remaining Arm platforms Proof PR #3455: Pull request #923 opened by lsf37
9m 1s
9m 1s
Weekly Clean Weekly Clean #216: Scheduled
4h 8m 9s master
master
4h 8m 9s
rebase Rebase #181: Repository dispatch triggered by github-actions bot
19s
19s
lib: Requalify_Test: global const disambiguation, named_theorems CI #3747: Commit 58ca9b8 pushed by Xaphiosis
1m 23s master
master
1m 23s
lib: Requalify_Test: global const disambiguation, named_theorems Proofs #1215: Commit 58ca9b8 pushed by Xaphiosis
3h 10m 28s master
master
3h 10m 28s
arch-split: fill out facts+consts disambiguation using global., document named_theorems anomaly PR #3149: Pull request #921 synchronize by Xaphiosis
1m 25s Xaphiosis:named_theorems_doc
Xaphiosis:named_theorems_doc
1m 25s
arch-split: fill out facts+consts disambiguation using global., document named_theorems anomaly CI #3746: Pull request #921 synchronize by Xaphiosis
54s Xaphiosis:named_theorems_doc
Xaphiosis:named_theorems_doc
54s
arch-split: fill out facts+consts disambiguation using global., document named_theorems anomaly Lint #525: Pull request #921 synchronize by Xaphiosis
1m 14s
1m 14s
arch-split: fill out facts+consts disambiguation using global., document named_theorems anomaly Proof PR #3454: Pull request #921 synchronize by Xaphiosis
3m 48s
3m 48s
Partially merge master into rt Proof PR #3453: Pull request #922 opened by corlewis
2h 32m 44s
2h 32m 44s
Partially merge master into rt PR #3148: Pull request #922 opened by corlewis
2m 21s rt-merge
rt-merge
2m 21s
Partially merge master into rt CI #3745: Pull request #922 opened by corlewis
47s rt-merge
rt-merge
47s
Partially merge master into rt Lint #524: Pull request #922 opened by corlewis
2m 26s
2m 26s
rt arm refine: discard broken state of proofs Proofs #1214: Commit 69d7ee8 pushed by corlewis
1h 50m 55s rt
rt
1h 50m 55s