8000 Workflow runs · PLSysSec/tock · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: PLSysSec/tock

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,044 workflow runs
1,044 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ignore unneeded modules tock-ci #505: Commit c833e24 pushed by vrindisbacher
June 10, 2025 14:52 1m 20s mpu-abstraction
mpu-abstraction
June 10, 2025 14:52 1m 20s
ignore unneeded modules litex-sim-ci #505: Commit c833e24 pushed by vrindisbacher
June 10, 2025 14:52 5m 13s mpu-abstraction
mpu-abstraction
June 10, 2025 14:52 5m 13s
do all but arithmetic overflows < 8000 /a> litex-sim-ci #504: Commit f529d6c pushed by vrindisbacher
June 9, 2025 23:03 3m 9s mpu-abstraction
mpu-abstraction
June 9, 2025 23:03 3m 9s
do all but arithmetic overflows tock-ci #504: Commit f529d6c pushed by vrindisbacher
June 9, 2025 23:03 1m 12s mpu-abstraction
mpu-abstraction
June 9, 2025 23:03 1m 12s
start on rv32 tock-ci #503: Commit 5df2423 pushed by vrindisbacher
June 9, 2025 20:28 2m 11s mpu-abstraction
mpu-abstraction
June 9, 2025 20:28 2m 11s
start on rv32 litex-sim-ci #503: Commit 5df2423 pushed by vrindisbacher
June 9, 2025 20:28 2m 58s mpu-abstraction
mpu-abstraction
June 9, 2025 20:28 2m 58s
get cargo check to pass on risc tock-ci #502: Commit 348b698 pushed by vrindisbacher
June 9, 2025 19:32 1m 13s mpu-abstraction
mpu-abstraction
June 9, 2025 19:32 1m 13s
get cargo check to pass on risc litex-sim-ci #502: Commit 348b698 pushed by vrindisbacher
June 9, 2025 19:32 2m 44s mpu-abstraction
mpu-abstraction
June 9, 2025 19:32 2m 44s
finish cortexm proof with new structure litex-sim-ci #501: Commit 7b741ca pushed by vrindisbacher
June 6, 2025 17:11 3m 6s mpu-abstraction
mpu-abstraction
June 6, 2025 17:11 3m 6s
finish cortexm proof with new structure tock-ci #501: Commit 7b741ca pushed by vrindisbacher
June 6, 2025 17:11 2m 2s mpu-abstraction
mpu-abstraction
June 6, 2025 17:11 2m 2s
note litex-sim-ci #500: Commit 6ebe3a2 pushed by vrindisbacher
June 6, 2025 01:09 4m 14s mpu-abstraction
mpu-abstraction
June 6, 2025 01:09 4m 14s
note tock-ci #500: Commit 6ebe3a2 pushed by vrindisbacher
June 6, 2025 01:09 1m 49s mpu-abstraction
mpu-abstraction
June 6, 2025 01:09 1m 49s
almost there litex-sim-ci #499: Commit ccbcb1a pushed by vrindisbacher
June 5, 2025 23:53 3m 15s mpu-abstraction
mpu-abstraction
June 5, 2025 23:53 3m 15s
almost there tock-ci #499: Commit ccbcb1a pushed by vrindisbacher
June 5, 2025 23:53 1m 10s mpu-abstraction
mpu-abstraction
June 5, 2025 23:53 1m 10s
remove extraneous methods litex-sim-ci #498: Commit 4c6eb06 pushed by vrindisbacher
June 5, 2025 23:16 2m 54s mpu-abstraction
mpu-abstraction
June 5, 2025 23:16 2m 54s
remove extraneous methods tock-ci #498: Commit 4c6eb06 pushed by vrindisbacher
June 5, 2025 23:16 1m 14s mpu-abstraction
mpu-abstraction
June 5, 2025 23:16 1m 14s
Move region methods to RegionDescriptor trait tock-ci #497: Commit f0cbc89 pushed by vrindisbacher
June 5, 2025 22:57 1m 14s mpu-abstraction
mpu-abstraction
June 5, 2025 22:57 1m 14s
Move region methods to RegionDescriptor trait litex-sim-ci #497: Commit f0cbc89 pushed by vrindisbacher
June 5, 2025 22:57 3m 1s mpu-abstraction
mpu-abstraction
June 5, 2025 22:57 3m 1s
nit litex-sim-ci #496: Commit c99287f pushed by vrindisbacher
June 5, 2025 22:36 2m 51s mpu-abstraction
mpu-abstraction
June 5, 2025 22:36 2m 51s
nit tock-ci #496: Commit c99287f pushed by vrindisbacher
June 5, 2025 22:36 1m 21s mpu-abstraction
mpu-abstraction
June 5, 2025 22:36 1m 21s
add invariant that breaks things tock-ci #495: Commit 1076c39 pushed by vrindisbacher
June 4, 2025 21:00 1m 10s mpu-abstraction
mpu-abstraction
June 4, 2025 21:00 1m 10s
add invariant that breaks things litex-sim-ci #495: Commit 1076c39 pushed by vrindisbacher
June 4, 2025 21:00 2m 40s mpu-abstraction
mpu-abstraction
June 4, 2025 21:00 2m 40s
add more refinements litex-sim-ci #494: Commit be894ec pushed by vrindisbacher
June 4, 2025 18:59 3m 7s mpu-abstraction
mpu-abstraction
June 4, 2025 18:59 3m 7s
add more refinements tock-ci #494: Commit be894ec pushed by vrindisbacher
June 4, 2025 18:59 1m 14s mpu-abstraction
mpu-abstraction
June 4, 2025 18:59 1m 14s
start adding some refinements tock-ci #493: Commit 2722aac pushed by vrindisbacher
June 4, 2025 16:48 1m 11s mpu-abstraction
mpu-abstraction
June 4, 2025 16:48 1m 11s
0