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

Merge pull request #4340 from gadfort/abc-lib-merge Build and run tests with Verific (Linux) #17: Commit 171577f pushed by povik
April 17, 2024 20:01 8m 17s main
main
April 17, 2024 20:01 8m 17s
Add YosysHQ/abc as a submodule located in abc. Build and run tests with Verific (Linux) #16: Pull request #4243 synchronize by RCoeurjoly
April 17, 2024 15:45 4m 7s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
April 17, 2024 15:45 4m 7s
Add YosysHQ/abc as a submodule located in abc. Build and run tests with Verific (Linux) #15: Pull request #4243 synchronize by RCoeurjoly
April 17, 2024 14:42 3m 48s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
April 17, 2024 14:42 3m 48s
Add YosysHQ/abc as a submodule located in abc. Build and run tests with Verific (Linux) #14: Pull request #4243 synchronize by RCoeurjoly
April 17, 2024 14:29 4m 13s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
April 17, 2024 14:29 4m 13s
Add YosysHQ/abc as a submodule located in abc. Build and run tests with Verific (Linux) #13: Pull request #4243 synchronize by RCoeurjoly
April 17, 2024 14:10 Startup failure RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
April 17, 2024 14:10 Startup failure
Add YosysHQ/abc as a submodule located in abc. Build and run tests with Verific (Linux) #12: Pull request #4243 synchronize by RCoeurjoly
April 16, 2024 16:18 1s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
April 16, 2024 16:18 1s
Add YosysHQ/abc as a submodule located in abc. Build and run tests with Verific (Linux) #11: Pull request #4243 synchronize by RCoeurjoly
April 16, 2024 14:51 1s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
April 16, 2024 14:51 1s
Add YosysHQ/abc as a submodule located in abc. Build and run tests with Verific (Linux) #10: Pull request #4243 synchronize by RCoeurjoly
April 16, 2024 14:50 23s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
April 16, 2024 14:50 23s
Add YosysHQ/abc as a submodule located in abc. Build and run tests with Verific (Linux) #9: Pull request #4243 synchronize by RCoeurjoly
April 16, 2024 14:31 23s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
April 16, 2024 14:31 23s
Add YosysHQ/abc as a submodule located in abc. Build and run tests with Verific (Linux) #8: Pull request #4243 synchronize by RCoeurjoly
April 16, 2024 13:20 20s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
April 16, 2024 13:20 20s
Add YosysHQ/abc as a submodule located in abc. Build and run tests with Verific (Linux) #7: Pull request #4243 synchronize by RCoeurjoly
April 16, 2024 12:36 24s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
April 16, 2024 12:36 24s
fix co on nx_cy Build and run tests with Verific (Linux) #6: Commit a1d5677 pushed by mmicko
April 16, 2024 10:36 3m 50s nanoxplore
nanoxplore
April 16, 2024 10:36 3m 50s
Merge pull request #4341 from YosysHQ/mmicko/ci_update Build and run tests with Verific (Linux) #5: Commit 52c04f3 pushed by mmicko
April 16, 2024 06:30 8m 22s main
main
April 16, 2024 06:30 8m 22s
Add new verific testing environment CI Build and run tests with Verific (Linux) #4: Pull request #4341 opened by mmicko
April 16, 2024 05:53 4m 10s mmicko/ci_update
mmicko/ci_update
April 16, 2024 05:53 4m 10s
Add new verific testing environment CI Build and run tests with Verific (Linux) #3: Commit c38bbd7 pushed by mmicko
April 16, 2024 05:50 5m 11s mmicko/ci_update
mmicko/ci_update
April 16, 2024 05:50 5m 11s
Add new verific testing environment CI Build and run tests with Verific (Linux) #2: Commit c2cb99b pushed by mmicko
April 15, 2024 07:50 4m 34s mmicko/ci_update
mmicko/ci_update
April 15, 2024 07:50 4m 34s
Add new verific testing environment CI Build and run tests with Verific (Linux) #1: Commit 5a6d5bf pushed by mmicko
April 15, 2024 07:26 4m 35s mmicko/ci_update
mmicko/ci_update
April 15, 2024 07:26 4m 35s
ProTip! You can narrow down the results and go further in time using created:<2024-04-15 or the other filters available.