Skip to content

Actions: PLSysSec/tock

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
166 workflow runs
166 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Tockbot
Tockbot #1: Scheduled
July 24, 2024 00:06 40s master
July 24, 2024 00:06 40s
cherry-pick useful files from process_simplification branch
tock-ci #14: Commit a8d393e pushed by enjhnsn2
July 23, 2024 21:10 5m 29s master
July 23, 2024 21:10 5m 29s
cherry-pick useful files from process_simplification branch
litex-sim-ci #14: Commit a8d393e pushed by enjhnsn2
July 23, 2024 21:10 3m 39s master
July 23, 2024 21:10 3m 39s
cherry-pick useful files from process_simplification branch
tock-nightly-ci #12: Commit a8d393e pushed by enjhnsn2
July 23, 2024 21:10 Failure master
July 23, 2024 21:10 Failure
tiny fix
litex-sim-ci #13: Commit 1ed5c45 pushed by enjhnsn2
July 23, 2024 18:06 2m 58s process_simplification
July 23, 2024 18:06 2m 58s
tiny fix
tock-ci #13: Commit 1ed5c45 pushed by enjhnsn2
July 23, 2024 18:06 6m 1s process_simplification
July 23, 2024 18:06 6m 1s
tiny fix
tock-nightly-ci #11: Commit 1ed5c45 pushed by enjhnsn2
July 23, 2024 18:06 Failure process_simplification
July 23, 2024 18:06 Failure
strip back a couble more ignores
tock-ci #12: Commit 740e3c1 pushed by enjhnsn2
July 23, 2024 18:01 5m 26s process_simplification
July 23, 2024 18:01 5m 26s
strip back a couble more ignores
litex-sim-ci #12: Commit 740e3c1 pushed by enjhnsn2
July 23, 2024 18:01 3m 10s process_simplification
July 23, 2024 18:01 3m 10s
strip back a couble more ignores
tock-nightly-ci #10: Commit 740e3c1 pushed by enjhnsn2
July 23, 2024 18:01 Failure process_simplification
July 23, 2024 18:01 Failure
add crate for external specs
litex-sim-ci #11: Commit ad49eee pushed by enjhnsn2
July 22, 2024 18:03 2m 42s process_simplification
July 22, 2024 18:03 2m 42s
add crate for external specs
tock-ci #11: Commit ad49eee pushed by enjhnsn2
July 22, 2024 18:03 5m 27s process_simplification
July 22, 2024 18:03 5m 27s
add crate for external specs
tock-nightly-ci #9: Commit ad49eee pushed by enjhnsn2
July 22, 2024 18:03 Failure process_simplification
July 22, 2024 18:03 Failure
reorder short-circuiting comparison to make proof go through
tock-ci #10: Commit 96f9f0c pushed by enjhnsn2
July 22, 2024 17:59 5m 41s refine-pmp
July 22, 2024 17:59 5m 41s
reorder short-circuiting comparison to make proof go through
litex-sim-ci #10: Commit 96f9f0c pushed by enjhnsn2
July 22, 2024 17:59 3m 24s refine-pmp
July 22, 2024 17:59 3m 24s
reorder short-circuiting comparison to make proof go through
tock-nightly-ci #8: Commit 96f9f0c pushed by enjhnsn2
July 22, 2024 17:59 Failure refine-pmp
July 22, 2024 17:59 Failure
add flux support crate and work on peeling back flux::ignores
tock-nightly-ci #7: Commit 1b6579b pushed by enjhnsn2
July 22, 2024 17:39 Failure process_simplification
July 22, 2024 17:39 Failure
exact code state for bug repro
litex-sim-ci #8: Commit 2817638 pushed by Samir-Rashid
July 21, 2024 06:49 2m 58s flux-bug-iterator
July 21, 2024 06:49 2m 58s
exact code state for bug repro
tock-ci #8: Commit 2817638 pushed by Samir-Rashid
July 21, 2024 06:49 5m 14s flux-bug-iterator
July 21, 2024 06:49 5m 14s
exact code state for bug repro
tock-nightly-ci #6: Commit 2817638 pushed by Samir-Rashid
July 21, 2024 06:49 Failure flux-bug-iterator
July 21, 2024 06:49 Failure
pmp refinement passing
litex-sim-ci #7: Commit f702f0d pushed by Samir-Rashid
July 20, 2024 09:14 2m 59s refine-pmp
July 20, 2024 09:14 2m 59s
pmp refinement passing
tock-ci #7: Commit f702f0d pushed by Samir-Rashid
July 20, 2024 09:14 5m 25s refine-pmp
July 20, 2024 09:14 5m 25s
pmp refinement passing
tock-nightly-ci #5: Commit f702f0d pushed by Samir-Rashid
July 20, 2024 09:14 Failure refine-pmp
July 20, 2024 09:14 Failure