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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add docs generation from cells help output Build and run tests with Verific (Linux) #86: Pull request #4332 synchronize by KrystalDelusion
May 2, 2024 22:24 4m 27s krys/help_docs
krys/help_docs
May 2, 2024 22:24 4m 27s
cellhelp: Extra newline Build and run tests with Verific (Linux) #85: Commit 9295daa pushed by KrystalDelusion
May 2, 2024 22:24 4m 23s krys/help_docs
krys/help_docs
May 2, 2024 22:24 4m 23s
Add docs generation from cells help output Build and run tests with Verific (Linux) #84: Pull request #4332 synchronize by KrystalDelusion
May 2, 2024 21:58 4m 33s krys/help_docs
krys/help_docs
May 2, 2024 21:58 4m 33s
ci: Call docs test via top makefile Build and run tests with Verific (Linux) #83: Commit 4b6286b pushed by KrystalDelusion
May 2, 2024 21:58 4m 35s krys/help_docs
krys/help_docs
May 2, 2024 21:58 4m 35s
Add docs generation from cells help output Build and run tests with Verific (Linux) #82: Pull request #4332 synchronize by KrystalDelusion
May 2, 2024 21:50 4m 12s krys/help_docs
krys/help_docs
May 2, 2024 21:50 4m 12s
cellhelp: Extra newline Build and run tests with Verific (Linux) #81: Commit 9295daa pushed by KrystalDelusion
May 2, 2024 21:50 4m 11s krys/help_docs
krys/help_docs
May 2, 2024 21:50 4m 11s
enable dff context initialization Build and run tests with Verific (Linux) #80: Commit 552b767 pushed by mmicko
April 30, 2024 11:44 4m 1s nanoxplore
nanoxplore
April 30, 2024 11:44 4m 1s
Reduce action spam when a PR source branch is on YosysHQ/yosys Build and run tests with Verific (Linux) #79: Pull request #4364 synchronize by KrystalDelusion
April 30, 2024 00:31 4m 6s krys/skip-duplicate-actions
krys/skip-duplicate-actions
April 30, 2024 00:31 4m 6s
ci: Add skip check to other actions Build and run tests with Verific (Linux) #78: Commit c3d8ba5 pushed by KrystalDelusion
April 30, 2024 00:31 4m 22s krys/skip-duplicate-actions
krys/skip-duplicate-actions
April 30, 2024 00:31 4m 22s
Reduce action spam when a PR source branch is on YosysHQ/yosys Build and run tests with Verific (Linux) #77: Pull request #4364 synchronize by KrystalDelusion
April 30, 2024 00:01 5m 29s krys/skip-duplicate-actions
krys/skip-duplicate-actions
April 30, 2024 00:01 5m 29s
extra-builds.yml: Fix prereq list Build and run tests with Verific (Linux) #76: Commit ab7e5b3 pushed by KrystalDelusion
April 30, 2024 00:01 4m 33s krys/skip-duplicate-actions
krys/skip-duplicate-actions
April 30, 2024 00:01 4m 33s
Reduce action spam when a PR source branch is on YosysHQ/yosys Build and run tests with Verific (Linux) #75: Pull request #4364 synchronize by KrystalDelusion
April 30, 2024 00:00 2m 32s krys/skip-duplicate-actions
krys/skip-duplicate-actions
April 30, 2024 00:00 2m 32s
extra-builds.yml: Fix prereq list Build and run tests with Verific (Linux) #74: Commit b520a19 pushed by KrystalDelusion
April 30, 2024 00:00 2m 35s krys/skip-duplicate-actions
krys/skip-duplicate-actions
April 30, 2024 00:00 2m 35s
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