Skip to content

Actions: chipsalliance/chisel-nix

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
285 workflow runs
285 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Formal Build and Run Simulation #50: Pull request #18 synchronize by unlsycn
September 21, 2024 17:26 40s try_formal
try_formal
September 21, 2024 17:26 40s
Add Formal Check the format of a PR #37: Pull request #18 synchronize by Clo91eaf
September 21, 2024 16:54 1m 50s try_formal
try_formal
September 21, 2024 16:54 1m 50s
Add Formal Build and Run Simulation #49: Pull request #18 synchronize by Clo91eaf
September 21, 2024 16:54 51s try_formal
try_formal
September 21, 2024 16:54 51s
Add Formal Check the format of a PR #36: Pull request #18 synchronize by Clo91eaf
September 21, 2024 16:52 1m 52s try_formal
try_formal
September 21, 2024 16:52 1m 52s
Add Formal Build and Run Simulation #48: Pull request #18 synchronize by Clo91eaf
September 21, 2024 16:52 1m 0s try_formal
try_formal
September 21, 2024 16:52 1m 0s
Add Formal Build and Run Simulation #47: Pull request #18 synchronize by unlsycn
September 21, 2024 15:22 49s try_formal
try_formal
September 21, 2024 15:22 49s
Add Formal Check the format of a PR #35: Pull request #18 synchronize by unlsycn
September 21, 2024 15:22 1m 49s try_formal
try_formal
September 21, 2024 15:22 1m 49s
Add Formal Build and Run Simulation #46: Pull request #18 synchronize by Clo91eaf
September 21, 2024 14:58 48s try_formal
try_formal
September 21, 2024 14:58 48s
Add Formal Check the format of a PR #34: Pull request #18 synchronize by Clo91eaf
September 21, 2024 14:58 2m 0s try_formal
try_formal
September 21, 2024 14:58 2m 0s
Add Formal Check the format of a PR #33: Pull request #18 synchronize by Clo91eaf
September 21, 2024 14:21 1m 42s try_formal
try_formal
September 21, 2024 14:21 1m 42s
Add Formal Build and Run Simulation #45: Pull request #18 synchronize by Clo91eaf
September 21, 2024 14:21 3m 0s try_formal
try_formal
September 21, 2024 14:21 3m 0s
Add Formal Build and Run Simulation #44: Pull request #18 synchronize by Clo91eaf
September 21, 2024 13:19 3m 24s try_formal
try_formal
September 21, 2024 13:19 3m 24s
Add Formal Check the format of a PR #32: Pull request #18 synchronize by Clo91eaf
September 21, 2024 13:19 2m 0s try_formal
try_formal
September 21, 2024 13:19 2m 0s
Bump dependencies Build and Run Simulation #43: Pull request #20 opened by unlsycn
September 20, 2024 21:35 3m 25s dependencies-bumping-2024-09-20
dependencies-bumping-2024-09-20
September 20, 2024 21:35 3m 25s
Bump dependencies Check the format of a PR #31: Pull request #20 opened by unlsycn
September 20, 2024 21:35 1m 34s dependencies-bumping-2024-09-20
dependencies-bumping-2024-09-20
September 20, 2024 21:35 1m 34s
Dependencies Bump Dependencies Bump #23: Scheduled
September 20, 2024 21:33 1m 43s master
master
September 20, 2024 21:33 1m 43s
Add Formal Build and Run Simulation #42: Pull request #18 synchronize by sequencer
September 20, 2024 16:37 2m 17s try_formal
try_formal
September 20, 2024 16:37 2m 17s
Add Formal Check the format of a PR #30: Pull request #18 synchronize by sequencer
September 20, 2024 16:37 1m 46s try_formal
try_formal
September 20, 2024 16:37 1m 46s
Add Formal Build and Run Simulation #41: Pull request #18 synchronize by sequencer
September 20, 2024 14:39 52s try_formal
try_formal
September 20, 2024 14:39 52s
Add Formal Check the format of a PR #29: Pull request #18 synchronize by sequencer
September 20, 2024 14:39 1m 53s try_formal
try_formal
September 20, 2024 14:39 1m 53s
Add Formal Check the format of a PR #28: Pull request #18 synchronize by Clo91eaf
September 20, 2024 09:14 1m 58s try_formal
try_formal
September 20, 2024 09:14 1m 58s
Add Formal Build and Run Simulation #40: Pull request #18 synchronize by Clo91eaf
September 20, 2024 09:14 3m 26s try_formal
try_formal
September 20, 2024 09:14 3m 26s
Add Formal Check the format of a PR #27: Pull request #18 synchronize by Clo91eaf
September 20, 2024 07:29 1m 54s try_formal
try_formal
September 20, 2024 07:29 1m 54s
Add Formal Build and Run Simulation #39: Pull request #18 synchronize by Clo91eaf
September 20, 2024 07:29 3m 39s try_formal
try_formal
September 20, 2024 07:29 3m 39s
Add Formal Check the format of a PR #26: Pull request #18 synchronize by Clo91eaf
September 20, 2024 07:29 29s try_formal
try_formal
September 20, 2024 07:29 29s