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
72 workflow run results
72 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Reduce action spam when a PR source branch is on YosysHQ/yosys Build and run tests with Verific (Linux) #73: Pull request #4364 opened by KrystalDelusion
April 29, 2024 23:55 4m 11s krys/skip-duplicate-actions
krys/skip-duplicate-actions
April 29, 2024 23:55 4m 11s
ci: Combine extra build flow yml Build and run tests with Verific (Linux) #72: Commit c94d17d pushed by KrystalDelusion
April 29, 2024 23:54 4m 17s krys/skip-duplicate-actions
krys/skip-duplicate-actions
April 29, 2024 23:54 4m 17s
CI Improvements Build and run tests with Verific (Linux) #71: Pull request #4183 synchronize by KrystalDelusion
April 29, 2024 23:38 4m 1s krys/refactor-workflows
krys/refactor-workflows
April 29, 2024 23:38 4m 1s
ci: Add autoconf to macos dependencies Build and run tests with Verific (Linux) #70: Commit ac31f32 pushed by KrystalDelusion
April 29, 2024 23:38 4m 11s krys/refactor-workflows
krys/refactor-workflows
April 29, 2024 23:38 4m 11s
CI Improvements Build and run tests with Verific (Linux) #69: Pull request #4183 synchronize by KrystalDelusion
April 29, 2024 23:11 4m 31s krys/refactor-workflows
krys/refactor-workflows
April 29, 2024 23:11 4m 31s
ci: Reduce number of jobs Build and run tests with Verific (Linux) #68: Commit b7f2e00 pushed by KrystalDelusion
April 29, 2024 23:11 4m 35s krys/refactor-workflows
krys/refactor-workflows
April 29, 2024 23:11 4m 35s
Merge pull request #4359 from georgerennie/aiger_parse_bug Build and run tests with Verific (Linux) #67: Commit 640d6a5 pushed by povik
April 29, 2024 13:15 8m 30s main
main
April 29, 2024 13:15 8m 30s
Add YosysHQ/abc as a submodule located in abc. Build and run tests with Verific (Linux) #66: Pull request #4243 synchronize by RCoeurjoly
April 29, 2024 13:09 4m 22s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
April 29, 2024 13:09 4m 22s
read_aiger: Fix incorrect read of binary Aiger without outputs Build and run tests with Verific (Linux) #65: Pull request #4359 synchronize by georgerennie
April 29, 2024 13:08 4m 32s georgerennie:aiger_parse_bug
georgerennie:aiger_parse_bug
April 29, 2024 13:08 4m 32s
Add YosysHQ/abc as a submodule located in abc. Build and run tests with Verific (Linux) #64: Pull request #4243 synchronize by RCoeurjoly
April 29, 2024 13:07 4m 50s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
April 29, 2024 13:07 4m 50s
read_aiger: Fix incorrect read of binary Aiger without outputs Build and run tests with Verific (Linux) #63: Pull request #4359 synchronize by georgerennie
April 29, 2024 11:56 4m 21s georgerennie:aiger_parse_bug
georgerennie:aiger_parse_bug
April 29, 2024 11:56 4m 21s
read_aiger: Fix incorrect read of binary Aiger without outputs Build and run tests with Verific (Linux) #62: Pull request #4359 synchronize by georgerennie
April 29, 2024 11:35 1m 58s georgerennie:aiger_parse_bug
georgerennie:aiger_parse_bug
April 29, 2024 11:35 1m 58s
Add new DFF types, and added "-nodffe" option Build and run tests with Verific (Linux) #61: Commit f306b98 pushed by mmicko
April 29, 2024 06:52 4m 41s nanoxplore
nanoxplore
April 29, 2024 06:52 4m 41s
export define marco to qtcreator.config Build and run tests with Verific (Linux) #60: Pull request #4362 synchronize by offline3
April 29, 2024 02:16 5m 8s offline3:export_marco_to_qtcreator
offline3:export_marco_to_qtcreator
April 29, 2024 02:16 5m 8s
read_aiger: Fix incorrect read of binary Aiger without outputs Build and run tests with Verific (Linux) #58: Pull request #4359 opened by georgerennie
April 26, 2024 18:24 4m 7s georgerennie:aiger_parse_bug
georgerennie:aiger_parse_bug
April 26, 2024 18:24 4m 7s
Merge pull request #4333 from YosysHQ/fix_hierarchy_generate Build and run tests with Verific (Linux) #57: Commit 34d9a74 pushed by nakengelhardt
April 25, 2024 07:56 8m 20s main
main
April 25, 2024 07:56 8m 20s
CI Improvements Build and run tests with Verific (Linux) #56: Pull request #4183 synchronize by mmicko
April 25, 2024 06:40 4m 32s krys/refactor-workflows
krys/refactor-workflows
April 25, 2024 06:40 4m 32s
Cleanups and update of VS action Build and run tests with Verific (Linux) #55: Commit 38ca47c pushed by mmicko
April 25, 2024 06:40 4m 35s krys/refactor-workflows
krys/refactor-workflows
April 25, 2024 06:40 4m 35s
CI Improvements Build and run tests with Verific (Linux) #54: Pull request #4183 synchronize by mmicko
April 25, 2024 06:28 4m 40s krys/refactor-workflows
krys/refactor-workflows
April 25, 2024 06:28 4m 40s
Cleanups and update of VS action Build and run tests with Verific (Linux) #53: Commit a6420fa pushed by mmicko
April 25, 2024 06:28 4m 46s krys/refactor-workflows
krys/refactor-workflows
April 25, 2024 06:28 4m 46s
CI Improvements Build and run tests with Verific (Linux) #52: Pull request #4183 synchronize by KrystalDelusion
April 24, 2024 22:42 9m 46s krys/refactor-workflows
krys/refactor-workflows
April 24, 2024 22:42 9m 46s
ci: Drop python2 Build and run tests with Verific (Linux) #51: Commit 29c7029 pushed by KrystalDelusion
April 24, 2024 22:42 6m 9s krys/refactor-workflows
krys/refactor-workflows
April 24, 2024 22:42 6m 9s
CI Improvements Build and run tests with Verific (Linux) #50: Pull request #4183 synchronize by KrystalDelusion
April 24, 2024 22:41 6m 3s krys/refactor-workflows
krys/refactor-workflows
April 24, 2024 22:41 6m 3s
ci: Update OS/compiler targets Build and run tests with Verific (Linux) #49: Commit 06c498d pushed by KrystalDelusion
April 24, 2024 22:41 5m 59s krys/refactor-workflows
krys/refactor-workflows
April 24, 2024 22:41 5m 59s
Merge pull request #4285 from YosysHQ/typo_fixup Build and run tests with Verific (Linux) #48: Commit c3ae33d pushed by KrystalDelusion
April 24, 2024 21:54 8m 48s main
main
April 24, 2024 21:54 8m 48s