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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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