Skip to content

Actions: PLSysSec/tock

Actions

tock-ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
653 workflow runs
653 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update readme (#54) tock-ci #728: Commit f3b09aa pushed by vrindisbacher
1m 11s master
master
1m 11s
Vrindisbacher/readme tock-ci #727: Pull request #54 synchronize by vrindisbacher
1m 15s vrindisbacher/readme
vrindisbacher/readme
1m 15s
Update readme tock-ci #726: Commit 8d791bd pushed by vrindisbacher
1m 13s vrindisbacher/readme
vrindisbacher/readme
1m 13s
Update readme tock-ci #725: Commit eaf8a43 pushed by vrindisbacher
1m 16s vrindisbacher/readme
vrindisbacher/readme
1m 16s
Update readme (#53) tock-ci #724: Commit 0a69259 pushed by vrindisbacher
1m 32s master
master
1m 32s
Update readme tock-ci #723: Pull request #53 synchronize by vrindisbacher
2m 8s vrindisbacher/readme
vrindisbacher/readme
2m 8s
Update readme tock-ci #722: Commit 23fda53 pushed by vrindisbacher
1m 9s vrindisbacher/readme
vrindisbacher/readme
1m 9s
Update readme tock-ci #721: Pull request #53 opened by vrindisbacher
1m 8s vrindisbacher/readme
vrindisbacher/readme
1m 8s
Update readme tock-ci #720: Commit cce91c2 pushed by vrindisbacher
1m 31s vrindisbacher/readme
vrindisbacher/readme
1m 31s
clean up with ranjits update tock-ci #719: Commit 4d490d7 pushed by enjhnsn2
10m 15s upstreaming_patch_final
upstreaming_patch_final
10m 15s
Add extern specs to Tock to make 6 drivers panic free tock-ci #711: Pull request #52 synchronize by ninehusky
Action required ninehusky:ninehusky-add-tock-extern-specs
ninehusky:ninehusky-add-tock-extern-specs
Action required
address comment changes tock-ci #706: Commit c9f54d0 pushed by enjhnsn2
10m 20s upstreaming_patch_final
upstreaming_patch_final
10m 20s
elide mod comments using new detached-spec-scoping tock-ci #705: Commit 849f901 pushed by enjhnsn2
10m 14s upstreaming_patch_final
upstreaming_patch_final
10m 14s
small fix to detached spec scope, but still getting an error tock-ci #704: Commit 32b37ae pushed by enjhnsn2
10m 52s upstreaming_patch_final
upstreaming_patch_final
10m 52s
Choose a couple of core capsules to prove panic-free tock-ci #703: Commit 9512b55 pushed by enjhnsn2
2m 33s fluxopt-test
fluxopt-test
2m 33s
fix extern spec bug in 'from_raw_parts_mut' to explicitly require ali… tock-ci #702: Commit 104a477 pushed by enjhnsn2
1m 35s fluxopt-test
fluxopt-test
1m 35s
clean up annotations tock-ci #701: Commit ae73615 pushed by enjhnsn2
12m 32s upstreaming_patch_final
upstreaming_patch_final
12m 32s
annotate example ringbuffer tock-ci #700: Commit 19119bb pushed by enjhnsn2
11m 12s upstreaming_patch_final
upstreaming_patch_final
11m 12s
fix extern spec bug in 'from_raw_parts_mut' to explicitly require ali… tock-ci #699: Commit 104a477 pushed by vrindisbacher
3m 15s master
master
3m 15s
Fix bug in extern spec for from_raw_parts_mut tock-ci #698: Pull request #51 opened by vrindisbacher
3m 6s vrindisbacher/fix-extern-spec-bug
vrindisbacher/fix-extern-spec-bug
3m 6s
fix extern spec bug in 'from_raw_parts_mut' to explicitly require ali… tock-ci #697: Commit 544382b pushed by vrindisbacher
1m 40s vrindisbacher/fix-extern-spec-bug
vrindisbacher/fix-extern-spec-bug
1m 40s
tweaks to use new detached-specs tock-ci #696: Commit ba4b663 pushed by ranjitjhala
11m 38s evan-ringbuffer
evan-ringbuffer
11m 38s
Generate lemmas and prove them tock-ci #695: Pull request #50 opened by petros-marko
2m 36s petros-marko/proofs
petros-marko/proofs
2m 36s
Fix pointer-width related type errors tock-ci #694: Commit 3c0c972 pushed by petros-marko
2m 48s petros-marko/proofs
petros-marko/proofs
2m 48s
Add lazy overflow check to cortexm (#49) tock-ci #693: Commit 3bc4a94 pushed by vrindisbacher
1m 23s master
master
1m 23s