Skip to content

Actions: PLSysSec/tock

Actions

tock-ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
96 workflow runs
96 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Migrate to qualified flux defs (#56) tock-ci #739: Commit 1ec8928 pushed by nilehmann
1m 54s master
master
1m 54s
Migrate to qualified flux defs tock-ci #738: Pull request #56 opened by nilehmann
1m 22s push-lmplkwtstmql
push-lmplkwtstmql
1m 22s
Migrate to qualified flux defs tock-ci #737: Commit ba68d5a pushed by nilehmann
1m 33s push-lmplkwtstmql
push-lmplkwtstmql
1m 33s
Cleanup tock-ci #736: Commit b88ee13 pushed by petros-marko
1m 13s petros-marko/verify-ring-buff
petros-marko/verify-ring-buff
1m 13s
Generate lemmas and prove them tock-ci #735: Pull request #50 synchronize by petros-marko
1m 8s petros-marko/proofs
petros-marko/proofs
1m 8s
update proofs to work with current version of flux-lean tock-ci #734: Commit 1809fb9 pushed by petros-marko
1m 21s petros-marko/proofs
petros-marko/proofs
1m 21s
pop tock-ci #733: Commit 3d27524 pushed by petros-marko
1m 18s petros-marko/verify-ring-buff
petros-marko/verify-ring-buff
1m 18s
Merge pull request #55 from PLSysSec/result_fix_2 tock-ci #732: Commit 509d6d2 pushed by enjhnsn2
1m 17s master
master
1m 17s
adjust tock so that flux-core Result spec doesn't break it tock-ci #731: Pull request #55 opened by enjhnsn2
1m 14s result_fix_2
result_fix_2
1m 14s
adjust tock so that flux-core Result spec doesn't break it tock-ci #730: Commit 04d5058 pushed by enjhnsn2
1m 55s result_fix_2
result_fix_2
1m 55s
adjust tock so that flux-core Result spec doesn't break it tock-ci #729: Commit 04d5058 pushed by enjhnsn2
1m 12s result_fix
result_fix
1m 12s
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