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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Weekly Clean Weekly Clean #224: Scheduled
4h 0m 55s master
master
4h 0m 55s
rebase Rebase #189: Repository dispatch triggered by github-actions bot
27s
27s
manifest-update Proofs #1227: Repository dispatch triggered by seL4-ci
2h 53m 50s
2h 53m 50s
rebase Rebase #188: Repository dispatch triggered by github-actions bot
28s
28s
autocorres: explicitly use python3 CI #3781: Commit 9b71b20 pushed by lsf37
2m 34s master
master
2m 34s
autocorres: explicitly use python3 Proofs #1226: Commit 9b71b20 pushed by lsf37
21m 25s master
master
21m 25s
autocorres: explicitly use python3 Trigger #32: Commit 9b71b20 pushed by lsf37
10s master
master
10s
prep for C parser and Autocorres release PR #3178: Pull request #928 synchronize by lsf37
2m 39s c-parser-release
c-parser-release
2m 39s
prep for C parser and Autocorres release CI #3780: Pull request #928 synchronize by lsf37
3m 14s c-parser-release
c-parser-release
3m 14s
prep for C parser and Autocorres release Proof PR #3483: Pull request #928 synchronize by lsf37
13m 51s
13m 51s
prep for C parser and Autocorres release Lint #555: Pull request #928 synchronize by lsf37
1m 28s
1m 28s
rebase Rebase #187: Repository dispatch triggered by github-actions bot
24s
24s
crefine: update for CSpace1_R arch-split CI #3779: Commit b67e073 pushed by Xaphiosis
1m 13s master
master
1m 13s
crefine: update for CSpace1_R arch-split Proofs #1225: Commit b67e073 pushed by Xaphiosis
2h 43m 21s master
master
2h 43m 21s
arch-split CSpace_I and CSpace1_R CI #3778: Pull request #925 synchronize by Xaphiosis
1m 14s arch-split
arch-split
1m 14s
arch-split CSpace_I and CSpace1_R PR #3177: Pull request #925 synchronize by Xaphiosis
2m 40s arch-split
arch-split
2m 40s
arch-split CSpace_I and CSpace1_R Lint #554: Pull request #925 synchronize by Xaphiosis
1m 34s
1m 34s
arch-split CSpace_I and CSpace1_R Proof PR #3482: Pull request #925 synchronize by Xaphiosis
3h 35m 1s
3h 35m 1s
arch-split CSpace_I and CSpace1_R CI #3777: Pull request #925 synchronize by Xaphiosis
1m 20s arch-split
arch-split
1m 20s
arch-split CSpace_I and CSpace1_R PR #3176: Pull request #925 synchronize by Xaphiosis
1m 36s arch-split
arch-split
1m 36s
arch-split CSpace_I and CSpace1_R Lint #553: Pull request #925 synchronize by Xaphiosis
5m 59s
5m 59s
arch-split CSpace_I and CSpace1_R Proof PR #3481: Pull request #925 synchronize by Xaphiosis
2h 42m 48s
2h 42m 48s
prep for C parser and Autocorres release CI #3776: Pull request #928 synchronize by lsf37
1m 8s c-parser-release
c-parser-release
1m 8s
prep for C parser and Autocorres release PR #3175: Pull request #928 synchronize by lsf37
2m 45s c-parser-release
c-parser-release
2m 45s
prep for C parser and Autocorres release Proof PR #3480: Pull request #928 synchronize by lsf37
3h 48m 20s
3h 48m 20s