Skip to content

Actions: PLSysSec/tock

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
276 workflow runs
276 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
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
Choose a couple of core capsules to prove panic-free litex-sim-ci #703: Commit 9512b55 pushed by enjhnsn2
4m 40s fluxopt-test
fluxopt-test
4m 40s
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
fix extern spec bug in 'from_raw_parts_mut' to explicitly require ali… litex-sim-ci #702: Commit 104a477 pushed by enjhnsn2
4m 33s fluxopt-test
fluxopt-test
4m 33s
clean up annotations litex-sim-ci #701: Commit ae73615 pushed by enjhnsn2
8m 48s upstreaming_patch_final
upstreaming_patch_final
8m 48s
clean up annotations tock-ci #701: Commit ae73615 pushed by enjhnsn2
12m 32s upstreaming_patch_final
upstreaming_patch_final
12m 32s
annotate example ringbuffer litex-sim-ci #700: Commit 19119bb pushed by enjhnsn2
7m 4s upstreaming_patch_final
upstreaming_patch_final
7m 4s
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 extern spec bug in 'from_raw_parts_mut' to explicitly require ali… litex-sim-ci #699: Commit 104a477 pushed by vrindisbacher
3m 57s master
master
3m 57s
Fix bug in extern spec for from_raw_parts_mut litex-sim-ci #698: Pull request #51 opened by vrindisbacher
5m 56s vrindisbacher/fix-extern-spec-bug
vrindisbacher/fix-extern-spec-bug
5m 56s
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… litex-sim-ci #697: Commit 544382b pushed by vrindisbacher
5m 17s vrindisbacher/fix-extern-spec-bug
vrindisbacher/fix-extern-spec-bug
5m 17s
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
tweaks to use new detached-specs litex-sim-ci #696: Commit ba4b663 pushed by ranjitjhala
7m 26s evan-ringbuffer
evan-ringbuffer
7m 26s
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
Generate lemmas and prove them litex-sim-ci #695: Pull request #50 opened by petros-marko
2m 53s petros-marko/proofs
petros-marko/proofs
2m 53s
Fix pointer-width related type errors litex-sim-ci #694: Commit 3c0c972 pushed by petros-marko
3m 30s petros-marko/proofs
petros-marko/proofs
3m 30s
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 lazy overflow check to cortexm (#49) litex-sim-ci #693: Commit 3bc4a94 pushed by vrindisbacher
5m 29s master
master
5m 29s
add overflow checks for pmp litex-sim-ci #692: Commit d0278b5 pushed by ranjitjhala
2m 54s overflow
overflow
2m 54s
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