Skip to content

Actions: YosysHQ/yosys

Actions

Build and run tests with Verific (Linux)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-verific.yml
292 workflow run results
292 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI Improvements Build and run tests with Verific (Linux) #172: Pull request #4183 synchronize by KrystalDelusion
May 9, 2024 21:55 16s krys/refactor-workflows
krys/refactor-workflows
May 9, 2024 21:55 16s
ci: Add autoconf to macos dependencies Build and run tests with Verific (Linux) #171: Commit ff730f4 pushed by KrystalDelusion
May 9, 2024 21:54 4m 7s krys/refactor-workflows
krys/refactor-workflows
May 9, 2024 21:54 4m 7s
cost: add keep_hierarchy pass with min_cost argument Build and run tests with Verific (Linux) #170: Pull request #4344 synchronize by widlarizer
May 9, 2024 17:40 4m 5s widlarizer:emil/keep_hierarchy
widlarizer:emil/keep_hierarchy
May 9, 2024 17:40 4m 5s
cost: add keep_hierarchy pass with min_cost argument Build and run tests with Verific (Linux) #169: Pull request #4344 synchronize by widlarizer
May 9, 2024 16:41 4m 21s widlarizer:emil/keep_hierarchy
widlarizer:emil/keep_hierarchy
May 9, 2024 16:41 4m 21s
cost: add keep_hierarchy pass with min_cost argument Build and run tests with Verific (Linux) #168: Pull request #4344 synchronize by widlarizer
May 9, 2024 16:36 4m 23s widlarizer:emil/keep_hierarchy
widlarizer:emil/keep_hierarchy
May 9, 2024 16:36 4m 23s
docs: Document $lut and $sop Build and run tests with Verific (Linux) #167: Pull request #4387 opened by widlarizer
May 9, 2024 16:33 15s emil/document-lut-sop
emil/document-lut-sop
May 9, 2024 16:33 15s
docs: Document $lut and $sop Build and run tests with Verific (Linux) #166: Commit fd84a33 pushed by widlarizer
May 9, 2024 16:31 4m 4s emil/document-lut-sop
emil/document-lut-sop
May 9, 2024 16:31 4m 4s
docs: Document $lut and $sop Build and run tests with Verific (Linux) #165: Commit 0480416 pushed by widlarizer
May 9, 2024 16:30 1m 12s emil/document-lut-sop
emil/document-lut-sop
May 9, 2024 16:30 1m 12s
docs: Document $lut and $sop Build and run tests with Verific (Linux) #164: Commit 0adf82a pushed by widlarizer
May 9, 2024 16:28 2m 39s emil/document-lut-sop
emil/document-lut-sop
May 9, 2024 16:28 2m 39s
docs: Document $lut and $sop Build and run tests with Verific (Linux) #163: Commit f6c4dd9 pushed by widlarizer
May 9, 2024 16:27 1m 28s emil/document-lut-sop
emil/document-lut-sop
May 9, 2024 16:27 1m 28s
docs: Document $lut and $sop Build and run tests with Verific (Linux) #162: Commit 4901e7e pushed by widlarizer
May 9, 2024 16:25 2m 42s emil/document-lut-sop
emil/document-lut-sop
May 9, 2024 16:25 2m 42s
cost: add keep_hierarchy pass with min_cost argument Build and run tests with Verific (Linux) #161: Pull request #4344 synchronize by widlarizer
May 9, 2024 14:29 4m 9s widlarizer:emil/keep_hierarchy
widlarizer:emil/keep_hierarchy
May 9, 2024 14:29 4m 9s
cost: add keep_hierarchy pass with min_cost argument Build and run tests with Verific (Linux) #160: Pull request #4344 synchronize by widlarizer
May 9, 2024 14:27 4m 11s widlarizer:emil/keep_hierarchy
widlarizer:emil/keep_hierarchy
May 9, 2024 14:27 4m 11s
No need for LOC Build and run tests with Verific (Linux) #159: Commit f70142c pushed by mmicko
May 9, 2024 12:58 4m 24s nanoxplore
nanoxplore
May 9, 2024 12:58 4m 24s
support other I/O configurations Build and run tests with Verific (Linux) #158: Commit bbbf9c1 pushed by mmicko
May 9, 2024 11:29 4m 3s nanoxplore
nanoxplore
May 9, 2024 11:29 4m 3s
Begin supporting nix flakes build system Build and run tests with Verific (Linux) #157: Pull request #4238 synchronize by RCoeurjoly
May 9, 2024 10:41 4m 19s RCoeurjoly:nix
RCoeurjoly:nix
May 9, 2024 10:41 4m 19s
Merge pull request #4379 from QuantamHD/fix_verific Build and run tests with Verific (Linux) #156: Commit 1a54e8d pushed by mmicko
May 9, 2024 09:52 8m 23s main
main
May 9, 2024 09:52 8m 23s
Begin supporting nix flakes build system Build and run tests with Verific (Linux) #155: Pull request #4238 synchronize by RCoeurjoly
May 9, 2024 09:50 4m 9s RCoeurjoly:nix
RCoeurjoly:nix
May 9, 2024 09:50 4m 9s
Merge pull request #4386 from YosysHQ/micko/check_abc Build and run tests with Verific (Linux) #154: Commit bdce7fa pushed by mmicko
May 9, 2024 07:44 8m 24s main
main
May 9, 2024 07:44 8m 24s
Modify abc directory content check Build and run tests with Verific (Linux) #153: Pull request #4386 opened by mmicko
May 9, 2024 07:25 14s micko/check_abc
micko/check_abc
May 9, 2024 07:25 14s
Modify abc directory content check Build and run tests with Verific (Linux) #151: Commit 93148a8 pushed by mmicko
May 9, 2024 07:23 4m 24s micko/check_abc
micko/check_abc
May 9, 2024 07:23 4m 24s
Merge pull request #4364 from YosysHQ/krys/skip-duplicate-actions Build and run tests with Verific (Linux) #150: Commit 514852a pushed by mmicko
May 9, 2024 06:48 8m 25s main
main
May 9, 2024 06:48 8m 25s
Reduce action spam when a PR source branch is on YosysHQ/yosys Build and run tests with Verific (Linux) #147: Pull request #4364 synchronize by KrystalDelusion
May 9, 2024 06:17 17s krys/skip-duplicate-actions
krys/skip-duplicate-actions
May 9, 2024 06:17 17s
extra-builds.yml: Add skip check to vs-prep Build and run tests with Verific (Linux) #146: Commit b9b1da8 pushed by KrystalDelusion
May 9, 2024 06:17 4m 20s krys/skip-duplicate-actions
krys/skip-duplicate-actions
May 9, 2024 06:17 4m 20s
CI Improvements Build and run tests with Verific (Linux) #144: Pull request #4183 synchronize by KrystalDelusion
May 8, 2024 22:27 4m 20s krys/refactor-workflows
krys/refactor-workflows
May 8, 2024 22:27 4m 20s