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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refine: consolidate update_tcb_cte_cases lemmas CI #3761: Pull request #927 synchronize by corlewis
1m 5s corlewis:update_tcb_cte_cases
corlewis:update_tcb_cte_cases
1m 5s
refine: consolidate update_tcb_cte_cases lemmas PR #3162: Pull request #927 synchronize by corlewis
2m 21s corlewis:update_tcb_cte_cases
corlewis:update_tcb_cte_cases
2m 21s
refine: consolidate update_tcb_cte_cases lemmas Proof PR #3467: Pull request #927 synchronize by corlewis
14m 16s
14m 16s
refine: consolidate update_tcb_cte_cases lemmas Lint #538: Pull request #927 synchronize by corlewis
1m 28s
1m 28s
Partially merge master into rt CI #3760: Pull request #924 synchronize by corlewis
2m 38s rt-merge
rt-merge
2m 38s
Partially merge master into rt PR #3161: Pull request #924 synchronize by corlewis
2m 10s rt-merge
rt-merge
2m 10s
Partially merge master into rt Lint #537: Pull request #924 synchronize by corlewis
2m 59s
2m 59s
Partially merge master into rt Proof PR #3466: Pull request #924 synchronize by corlewis
2h 13m 19s
2h 13m 19s
refine: consolidate update_tcb_cte_cases lemmas PR #3160: Pull request #927 opened by corlewis
2m 28s corlewis:update_tcb_cte_cases
corlewis:update_tcb_cte_cases
2m 28s
refine: consolidate update_tcb_cte_cases lemmas CI #3759: Pull request #927 opened by corlewis
55s corlewis:update_tcb_cte_cases
corlewis:update_tcb_cte_cases
55s
refine: consolidate update_tcb_cte_cases lemmas Proof PR #3465: Pull request #927 opened by corlewis
2h 32m 41s
2h 32m 41s
refine: consolidate update_tcb_cte_cases lemmas Lint #536: Pull request #927 opened by corlewis
1m 17s
1m 17s
Partially merge master into rt CI #3758: Pull request #924 synchronize by corlewis
1m 6s rt-merge
rt-merge
1m 6s
Partially merge master into rt PR #3159: Pull request #924 synchronize by corlewis
3m 1s rt-merge
rt-merge
3m 1s
Partially merge master into rt Proof PR #3464: Pull request #924 synchronize by corlewis
35m 3s
35m 3s
Partially merge master into rt Lint #535: Pull request #924 synchronize by corlewis
2m 45s
2m 45s
Weekly Clean Weekly Clean #220: Scheduled
4h 9m 20s master
master
4h 9m 20s
arch-split CSpace_I and CSpace1_R CI #3757: Pull request #925 synchronize by Xaphiosis
55s arch-split
arch-split
55s
arch-split CSpace_I and CSpace1_R PR #3158: Pull request #925 synchronize by Xaphiosis
3m 4s arch-split
arch-split
3m 4s
arch-split CSpace_I and CSpace1_R Lint #534: Pull request #925 synchronize by Xaphiosis
1m 17s
1m 17s
arch-split CSpace_I and CSpace1_R Proof PR #3463: Pull request #925 synchronize by Xaphiosis
2h 31m 7s
2h 31m 7s
arch-split CSpace_I and CSpace1_R PR #3157: Pull request #925 synchronize by Xaphiosis
3m 1s arch-split
arch-split
3m 1s
arch-split CSpace_I and CSpace1_R CI #3756: Pull request #925 synchronize by Xaphiosis
2m 12s arch-split
arch-split
2m 12s
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