Skip to content

Actions: seL4/l4v

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
575 workflow runs
575 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prove decodeTCBInvocation_ccorres CI #3931: Pull request #964 synchronize by michaelmcinerney
45s michaelm-decodeTCBInvocation
michaelm-decodeTCBInvocation
45s
Prove decodeTCBInvocation_ccorres CI #3930: Pull request #964 opened by michaelmcinerney
1m 3s michaelm-decodeTCBInvocation
michaelm-decodeTCBInvocation
1m 3s
Add rcorres definition, lemmas, and automation CI #3929: Pull request #959 synchronize by michaelmcinerney
51s michaelm-rcorres
michaelm-rcorres
51s
Add rcorres definition, lemmas, and automation CI #3928: Pull request #959 synchronize by michaelmcinerney
46s michaelm-rcorres
michaelm-rcorres
46s
arm+arm-hyp haskell: remove where-clause warning CI #3927: Commit 2097b06 pushed by lsf37
42s master
master
42s
arm+arm-hyp haskell: remove where-clause warning CI #3926: Pull request #963 synchronize by lsf37
1m 22s haskell-warning
haskell-warning
1m 22s
aspec+ainvs+refine: consolidate cap_class/capClass CI #3925: Commit a86c56d pushed by lsf37
35s master
master
35s
Prove finaliseCap_ccorres CI #3924: Pull request #962 synchronize by michaelmcinerney
38s michaelm-finaliseCap
michaelm-finaliseCap
38s
arm+arm-hyp haskell: remove where-clause warning CI #3923: Pull request #963 synchronize by lsf37
38s haskell-warning
haskell-warning
38s
AArch64: support SMC calls in verified kernel CI #3922: Pull request #945 synchronize by lsf37
36s smc-caps
smc-caps
36s
arm+arm-hyp haskell: remove where-clause warning CI #3921: Pull request #963 opened by lsf37
34s haskell-warning
haskell-warning
34s
AArch64: support SMC calls in verified kernel CI #3920: Pull request #945 synchronize by lsf37
38s smc-caps
smc-caps
38s
Prove finaliseCap_ccorres CI #3919: Pull request #962 synchronize by michaelmcinerney
40s michaelm-finaliseCap
michaelm-finaliseCap
40s
Prove finaliseCap_ccorres CI #3918: Pull request #962 opened by michaelmcinerney
46s michaelm-finaliseCap
michaelm-finaliseCap
46s
github: add rt PR test workflow to master CI #3917: Commit 64ba2d3 pushed by lsf37
38s master
master
38s
Update GitHub workflows for rt pull requests CI #3916: Pull request #961 opened by lsf37
44s rt-proof-workflow
rt-proof-workflow
44s
Prove decodeSchedControl_configureFlags_ccorres and decodeInvocation_ccorres CI #3915: Pull request #902 synchronize by michaelmcinerney
1m 2s michaelm-decodeSchedControl
michaelm-decodeSchedControl
1m 2s
refine: add wordBits_word_bits to Bits_R CI #3914: Commit 748e983 pushed by michaelmcinerney
54s master
master
54s
refine: add wordBits_word_bits to Bits_R CI #3913: Pull request #960 synchronize by michaelmcinerney
44s michaelm-wordBits
michaelm-wordBits
44s
refine+crefine: update for Schedule_R arch-split CI #3912: Commit e685272 pushed by Xaphiosis
47s master
master
47s
arch-split Schedule_R CI #3911: Pull request #948 synchronize by Xaphiosis
47s arch-split
arch-split
47s
refine: add wordBits_word_bits to Bits_R CI #3910: Pull request #960 opened by michaelmcinerney
53s michaelm-wordBits
michaelm-wordBits
53s
Prove decodeSchedControl_configureFlags_ccorres and decodeInvocation_ccorres CI #3909: Pull request #902 synchronize by michaelmcinerney
43s michaelm-decodeSchedControl
michaelm-decodeSchedControl
43s
spec+proofs: backport minor cleanup from rt CI #3908: Commit ba327ba pushed by corlewis
39s master
master
39s
Partially merge master into rt CI #3907: Pull request #951 synchronize by corlewis
42s rt-merge
rt-merge
42s