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

cxxrtl: Prevent wires with input or output ports from being aliased Build and run tests with Verific (Linux) #297: Commit c7580eb pushed by whitequark
May 24, 2024 22:26 8m 30s main
main
May 24, 2024 22:26 8m 30s
Docs: Use formatted cmd ref in pdf Build and run tests with Verific (Linux) #296: Pull request #4376 synchronize by mmicko
May 24, 2024 12:56 15s krys/docs_cmd_ref
krys/docs_cmd_ref
May 24, 2024 12:56 15s
test-build.yml: Add test-docs-build Build and run tests with Verific (Linux) #295: Commit 0e36cf0 pushed by mmicko
May 24, 2024 12:55 4m 27s krys/docs_cmd_ref
krys/docs_cmd_ref
May 24, 2024 12:55 4m 27s
Merge pull request #4412 from YosysHQ/krys/skippable_nix Build and run tests with Verific (Linux) #294: Commit 56c8439 pushed by mmicko
May 24, 2024 12:39 8m 31s main
main
May 24, 2024 12:39 8m 31s
Merge pull request #4409 from marysaka/fix-abc-external-doc Build and run tests with Verific (Linux) #293: Commit 98ab829 pushed by mmicko
May 24, 2024 12:38 1m 43s main
main
May 24, 2024 12:38 1m 43s
Functional backend Build and run tests with Verific (Linux) #292: Pull request #4401 synchronize by RCoeurjoly
May 24, 2024 12:34 4m 23s RCoeurjoly:functional
RCoeurjoly:functional
May 24, 2024 12:34 4m 23s
Functional backend Build and run tests with Verific (Linux) #291: Pull request #4401 synchronize by RCoeurjoly
May 24, 2024 11:52 33s RCoeurjoly:functional
RCoeurjoly:functional
May 24, 2024 11:52 33s
Functional backend Build and run tests with Verific (Linux) #290: Pull request #4401 synchronize by RCoeurjoly
May 24, 2024 10:29 47s RCoeurjoly:functional
RCoeurjoly:functional
May 24, 2024 10:29 47s
Functional backend Build and run tests with Verific (Linux) #289: Pull request #4401 synchronize by RCoeurjoly
May 24, 2024 10:25 8m 37s RCoeurjoly:functional
RCoeurjoly:functional
May 24, 2024 10:25 8m 37s
ci: Skip duplicate actions on nix build Build and run tests with Verific (Linux) #288: Pull request #4412 synchronize by KrystalDelusion
May 23, 2024 21:41 13s krys/skippable_nix
krys/skippable_nix
May 23, 2024 21:41 13s
extra-builds.yml: Fix indentation Build and run tests with Verific (Linux) #287: Commit d135c0b pushed by KrystalDelusion
May 23, 2024 21:41 4m 4s krys/skippable_nix
krys/skippable_nix
May 23, 2024 21:41 4m 4s
ci: Skip duplicate actions on nix build Build and run tests with Verific (Linux) #286: Pull request #4412 opened by KrystalDelusion
May 23, 2024 21:24 4m 2s krys/skippable_nix
krys/skippable_nix
May 23, 2024 21:24 4m 2s
ci: Move nix build to extra-builds.yml Build and run tests with Verific (Linux) #285: Commit 1aae0bc pushed by KrystalDelusion
May 23, 2024 21:10 4m 2s krys/skippable_nix
krys/skippable_nix
May 23, 2024 21:10 4m 2s
Functional backend Build and run tests with Verific (Linux) #284: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 18:05 37s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 18:05 37s
Functional backend Build and run tests with Verific (Linux) #283: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 16:31 4m 27s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 16:31 4m 27s
Functional backend Build and run tests with Verific (Linux) #282: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 16:23 4m 29s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 16:23 4m 29s
write_btor: Include $assert and $assume cells in -ywmap output Build and run tests with Verific (Linux) #281: Pull request #4320 synchronize by KrystalDelusion
May 23, 2024 15:42 14s ywb_asserts
ywb_asserts
May 23, 2024 15:42 14s
write_btor: Include $assert and $assume cells in -ywmap output Build and run tests with Verific (Linux) #280: Commit 884f40d pushed by KrystalDelusion
May 23, 2024 15:42 4m 29s ywb_asserts
ywb_asserts
May 23, 2024 15:42 4m 29s
Functional backend Build and run tests with Verific (Linux) #279: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 14:43 4m 7s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 14:43 4m 7s
Functional backend Build and run tests with Verific (Linux) #278: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 14:01 4m 22s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 14:01 4m 22s
Functional backend Build and run tests with Verific (Linux) #277: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 13:41 4m 9s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 13:41 4m 9s
Functional backend Build and run tests with Verific (Linux) #276: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 13:33 4m 30s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 13:33 4m 30s
Functional backend Build and run tests with Verific (Linux) #275: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 13:25 4m 22s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 13:25 4m 22s
Functional backend Build and run tests with Verific (Linux) #274: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 13:16 4m 23s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 13:16 4m 23s
Functional backend Build and run tests with Verific (Linux) #273: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 12:58 4m 5s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 12:58 4m 5s