Skip to content

Actions: YosysHQ/yosys

Build and run tests with Verific (Linux)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,011 workflow run results
1,011 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
May 8, 2024 22:27 4m 20s
Merge [email protected]+8 into krys/refactor-workflows
Build and run tests with Verific (Linux) #143: Commit deb2ce4 pushed by KrystalDelusion
May 8, 2024 22:27 4m 5s krys/refactor-workflows
May 8, 2024 22:27 4m 5s
Reduce action spam when a PR source branch is on YosysHQ/yosys
Build and run tests with Verific (Linux) #142: Pull request #4364 synchronize by KrystalDelusion
May 8, 2024 21:39 15s krys/skip-duplicate-actions
ci: Add skip check to test-verific
Build and run tests with Verific (Linux) #141: Commit 878ac02 pushed by KrystalDelusion
May 8, 2024 21:39 4m 24s krys/skip-duplicate-actions
May 8, 2024 21:39 4m 24s
Reduce action spam when a PR source branch is on YosysHQ/yosys
Build and run tests with Verific (Linux) #140: Pull request #4364 synchronize by KrystalDelusion
May 8, 2024 21:28 4m 20s krys/skip-duplicate-actions
May 8, 2024 21:28 4m 20s
ci: Drop emcc
Build and run tests with Verific (Linux) #139: Commit a9eca90 pushed by KrystalDelusion
May 8, 2024 21:28 4m 18s krys/skip-duplicate-actions
May 8, 2024 21:28 4m 18s
frontend: Fixes verific import around range order
Build and run tests with Verific (Linux) #138: Pull request #4379 synchronize by QuantamHD
May 8, 2024 20:30 4m 18s QuantamHD:fix_verific
May 8, 2024 20:30 4m 18s
ProTip! You can narrow down the results and go further in time using created:<2024-05-08 or the other filters available.