Skip to content

Actions: PLSysSec/tock

Actions

tock-ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
657 workflow runs
657 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
add overflow checks for pmp tock-ci #692: Commit d0278b5 pushed by ranjitjhala
2m 42s overflow
overflow
2m 42s
Add lazy overflow check to cortexm tock-ci #691: Pull request #49 synchronize by ranjitjhala
6m 19s overflow
overflow
6m 19s
Add lazy overflow check to cortexm tock-ci #690: Pull request #49 synchronize by ranjitjhala
2m 30s overflow
overflow
2m 30s
cleanup tock-ci #689: Commit 36cb690 pushed by ranjitjhala
2m 26s overflow
overflow
2m 26s
Add lazy overflow check to cortexm tock-ci #688: Pull request #49 synchronize by ranjitjhala
3m 2s overflow
overflow
3m 2s
revert random changes tock-ci #687: Commit 853d5fb pushed by ranjitjhala
2m 43s overflow
overflow
2m 43s
Add lazy overflow check to cortexm tock-ci #686: Pull request #49 synchronize by ranjitjhala
2m 49s overflow
overflow
2m 49s
revert random changes tock-ci #685: Commit faf0efb pushed by ranjitjhala
2m 56s overflow
overflow
2m 56s
Add lazy overflow check to cortexm tock-ci #684: Pull request #49 synchronize by ranjitjhala
2m 28s overflow
overflow
2m 28s