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

arch-split CSpace_I and CSpace1_R Proof PR #3462: Pull request #925 synchronize by Xaphiosis
2m 49s
2m 49s
arch-split CSpace_I and CSpace1_R Lint #533: Pull request #925 synchronize by Xaphiosis
3m 3s
3m 3s
arch-split CSpace_I and CSpace1_R Proof PR #3461: Pull request #925 opened by Xaphiosis
8m 7s
8m 7s
arch-split CSpace_I and CSpace1_R Lint #532: Pull request #925 opened by Xaphiosis
1m 20s
1m 20s
arch-split CSpace_I and CSpace1_R PR #3156: Pull request #925 opened by Xaphiosis
2m 38s arch-split
arch-split
2m 38s
arch-split CSpace_I and CSpace1_R CI #3755: Pull request #925 opened by Xaphiosis
2m 32s arch-split
arch-split
2m 32s
Weekly Clean Weekly Clean #219: Scheduled
4h 7m 46s master
master
4h 7m 46s
External External #100: Scheduled
26m 51s master
master
26m 51s
Weekly Clean Weekly Clean #218: Scheduled
4h 47m 51s master
master
4h 47m 51s
Partially merge master into rt PR #3155: Pull request #924 synchronize by corlewis
1m 30s rt-merge
rt-merge
1m 30s
Partially merge master into rt CI #3754: Pull request #924 synchronize by corlewis
2m 28s rt-merge
rt-merge
2m 28s
Partially merge master into rt Lint #531: Pull request #924 synchronize by corlewis
1m 28s
1m 28s
Partially merge master into rt Proof PR #3460: Pull request #924 synchronize by corlewis
59m 21s
59m 21s
Partially merge master into rt PR #3154: Pull request #924 synchronize by corlewis
3m 38s rt-merge
rt-merge
3m 38s
Partially merge master into rt CI #3753: Pull request #924 synchronize by corlewis
1m 9s rt-merge
rt-merge
1m 9s
Partially merge master into rt Proof PR #3459: Pull request #924 synchronize by corlewis
2h 45m 42s
2h 45m 42s
Partially merge master into rt Lint #530: Pull request #924 synchronize by corlewis
3m 25s
3m 25s
Partially merge master into rt CI #3752: Pull request #924 opened by corlewis
2m 13s rt-merge
rt-merge
2m 13s
Partially merge master into rt PR #3153: Pull request #924 opened by corlewis
2m 42s rt-merge
rt-merge
2m 42s
Partially merge master into rt Lint #529: Pull request #924 opened by corlewis
1m 55s
1m 55s
Partially merge master into rt Proof PR #3458: Pull request #924 opened by corlewis
8m 4s
8m 4s
rt proof: update after merge Proofs #1216: Commit 90f8756 pushed by corlewis
2h 35m 39s rt
rt
2h 35m 39s
rt proof: update after merge CI #3751: Commit 90f8756 pushed by corlewis
1m 51s rt
rt
1m 51s
Weekly Clean Weekly Clean #217: Scheduled
4h 11m 28s master
master
4h 11m 28s
External External #99: Scheduled
3h 40m 27s master
master
3h 40m 27s