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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rt arm refine: discard broken state of proofs CI #3744: Commit 69d7ee8 pushed by corlewis
44s rt
rt
44s
Flush vcpu when switching and setting domain and prove cur_vcpu_in_cur_domain PR #3147: Pull request #918 synchronize by corlewis
1m 56s corlewis:vcpu_flush
corlewis:vcpu_flush
1m 56s
Flush vcpu when switching and setting domain and prove cur_vcpu_in_cur_domain CI #3743: Pull request #918 synchronize by corlewis
53s corlewis:vcpu_flush
corlewis:vcpu_flush
53s
Flush vcpu when switching and setting domain and prove cur_vcpu_in_cur_domain Proof PR #3452: Pull request #918 synchronize by corlewis
3h 25m 52s
3h 25m 52s
Flush vcpu when switching and setting domain and prove cur_vcpu_in_cur_domain Lint #523: Pull request #918 synchronize by corlewis
1m 50s
1m 50s
Weekly Clean Weekly Clean #215: Scheduled
4h 6m 51s master
master
4h 6m 51s
rebase Rebase #180: Repository dispatch triggered by github-actions bot
20s
20s
crefine: update for ArchAcc_R arch-split CI #3742: Commit 001cdd1 pushed by Xaphiosis
1m 40s master
master
1m 40s
crefine: update for ArchAcc_R arch-split Proofs #1213: Commit 001cdd1 pushed by Xaphiosis
2h 39m 23s master
master
2h 39m 23s
arch-split: fill out facts+consts disambiguation using global., document named_theorems anomaly CI #3741: Pull request #921 opened by Xaphiosis
1m 31s Xaphiosis:named_theorems_doc
Xaphiosis:named_theorems_doc
1m 31s
arch-split: fill out facts+consts disambiguation using global., document named_theorems anomaly PR #3146: Pull request #921 opened by Xaphiosis
2m 9s Xaphiosis:named_theorems_doc
Xaphiosis:named_theorems_doc
2m 9s
arch-split: fill out facts+consts disambiguation using global., document named_theorems anomaly Lint #522: Pull request #921 opened by Xaphiosis
1m 45s
1m 45s
arch-split: fill out facts+consts disambiguation using global., document named_theorems anomaly Proof PR #3451: Pull request #921 opened by Xaphiosis
16m 8s
16m 8s
unify SubMonad_R and arch-split ArchAcc_R CI #3740: Pull request #911 synchronize by Xaphiosis
1m 30s arch-split
arch-split
1m 30s
unify SubMonad_R and arch-split ArchAcc_R PR #3145: Pull request #911 synchronize by Xaphiosis
2m 11s arch-split
arch-split
2m 11s
unify SubMonad_R and arch-split ArchAcc_R Lint #521: Pull request #911 synchronize by Xaphiosis
1m 57s
1m 57s
unify SubMonad_R and arch-split ArchAcc_R Proof PR #3450: Pull request #911 synchronize by Xaphiosis
2h 29m 12s
2h 29m 12s
unify SubMonad_R and arch-split ArchAcc_R PR #3144: Pull request #911 synchronize by Xaphiosis
2m 0s arch-split
arch-split
2m 0s
unify SubMonad_R and arch-split ArchAcc_R CI #3739: Pull request #911 synchronize by Xaphiosis
1m 28s arch-split
arch-split
1m 28s
unify SubMonad_R and arch-split ArchAcc_R Lint #520: Pull request #911 synchronize by Xaphiosis
1m 49s
1m 49s
unify SubMonad_R and arch-split ArchAcc_R Proof PR #3449: Pull request #911 synchronize by Xaphiosis
5m 12s
5m 12s
rebase Rebase #179: Repository dispatch triggered by github-actions bot
27s
27s
manifest-update Proofs #1212: Repository dispatch triggered by seL4-ci
3h 21m 13s
3h 21m 13s
Discard ARM Refine proofs on rt branch CI #3738: Pull request #826 synchronize by corlewis
1m 32s corlewis:rt-discard-arm
corlewis:rt-discard-arm
1m 32s
Discard ARM Refine proofs on rt branch PR #3143: Pull request #826 synchronize by corlewis
2m 22s corlewis:rt-discard-arm
corlewis:rt-discard-arm
2m 22s