Skip to content

Actions: YosysHQ/yosys

Actions

Build and run tests (Linux)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
962 workflow run results
962 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 (Linux) #3313: Pull request #4243 synchronize by RCoeurjoly
April 16, 2024 13:20 8m 29s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
April 16, 2024 13:20 8m 29s
Add YosysHQ/abc as a submodule located in abc. Build and run tests (Linux) #3312: Pull request #4243 synchronize by RCoeurjoly
April 16, 2024 12:36 24m 0s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
April 16, 2024 12:36 24m 0s
fix co on nx_cy Build and run tests (Linux) #3311: Commit a1d5677 pushed by mmicko
April 16, 2024 10:36 24m 19s nanoxplore
nanoxplore
April 16, 2024 10:36 24m 19s
Merge pull request #4341 from YosysHQ/mmicko/ci_update Build and run tests (Linux) #3310: Commit 52c04f3 pushed by mmicko
April 16, 2024 06:30 24m 19s main
main
April 16, 2024 06:30 24m 19s
Add new verific testing environment CI Build and run tests (Linux) #3309: Pull request #4341 opened by mmicko
April 16, 2024 05:53 34m 10s mmicko/ci_update
mmicko/ci_update
April 16, 2024 05:53 34m 10s
Add new verific testing environment CI Build and run tests (Linux) #3308: Commit c38bbd7 pushed by mmicko
April 16, 2024 05:50 23m 47s mmicko/ci_update
mmicko/ci_update
April 16, 2024 05:50 23m 47s
add support for using ABCs library merging when providing multiple liberty files Build and run tests (Linux) #3307: Pull request #4340 opened by gadfort
April 15, 2024 22:20 24m 10s gadfort:abc-lib-merge
gadfort:abc-lib-merge
April 15, 2024 22:20 24m 10s
Merge pull request #4339 from YosysHQ/mmicko/lib_as_attribute Build and run tests (Linux) #3306: Commit e78c38b pushed by mmicko
April 15, 2024 18:25 24m 14s main
main
April 15, 2024 18:25 24m 14s
Merge pull request #4338 from jix/fix-formalff-setundef-srst Build and run tests (Linux) #3305: Commit 1527cc8 pushed by jix
April 15, 2024 16:34 24m 17s main
main
April 15, 2024 16:34 24m 17s
verific: expose library name as module attribute Build and run tests (Linux) #3304: Pull request #4339 opened by mmicko
April 15, 2024 15:04 32m 26s mmicko/lib_as_attribute
mmicko/lib_as_attribute
April 15, 2024 15:04 32m 26s
verific: expose library name as module attribute Build and run tests (Linux) #3303: Commit af94123 pushed by mmicko
April 15, 2024 15:01 25m 54s mmicko/lib_as_attribute
mmicko/lib_as_attribute
April 15, 2024 15:01 25m 54s
Add YosysHQ/abc as a submodule located in abc. Build and run tests (Linux) #3302: Pull request #4243 synchronize by RCoeurjoly
April 15, 2024 14:47 25m 9s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
April 15, 2024 14:47 25m 9s
Add YosysHQ/abc as a submodule located in abc. Build and run tests (Linux) #3301: Pull request #4243 synchronize by RCoeurjoly
April 15, 2024 13:53 25m 2s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
April 15, 2024 13:53 25m 2s
Add YosysHQ/abc as a submodule located in abc. Build and run tests (Linux) #3300: Pull request #4243 synchronize by RCoeurjoly
April 15, 2024 13:40 24m 38s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
April 15, 2024 13:40 24m 38s
Add YosysHQ/abc as a submodule located in abc. Build and run tests (Linux) #3299: Pull request #4243 synchronize by RCoeurjoly
April 15, 2024 13:24 8m 34s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
April 15, 2024 13:24 8m 34s
drivertools: Utility code for indexing and traversing signal drivers Build and run tests (Linux) #3298: Pull request #4328 synchronize by jix
April 15, 2024 12:32 26m 17s jix:drivertools
jix:drivertools
April 15, 2024 12:32 26m 17s
formalff -setundef: Fix handling for has_srst FFs Build and run tests (Linux) #3297: Pull request #4338 opened by jix
April 15, 2024 10:00 25m 39s jix:fix-formalff-setundef-srst
jix:fix-formalff-setundef-srst
April 15, 2024 10:00 25m 39s
Add new verific testing environment CI Build and run tests (Linux) #3296: Commit c2cb99b pushed by mmicko
April 15, 2024 07:50 25m 13s mmicko/ci_update
mmicko/ci_update
April 15, 2024 07:50 25m 13s
Add new verific testing environment CI Build and run tests (Linux) #3295: Commit 5a6d5bf pushed by mmicko
April 15, 2024 07:26 24m 40s mmicko/ci_update
mmicko/ci_update
April 15, 2024 07:26 24m 40s
Merge pull request #4334 from YosysHQ/docs_tidy Build and run tests (Linux) #3294: Commit 7bb2746 pushed by mmicko
April 15, 2024 06:27 24m 21s main
main
April 15, 2024 06:27 24m 21s
Add docs generation from cells help output Build and run tests (Linux) #3293: Pull request #4332 synchronize by KrystalDelusion
April 14, 2024 22:32 37m 25s krys/help_docs
krys/help_docs
April 14, 2024 22:32 37m 25s
Docs: Add cell gen to makefile Build and run tests (Linux) #3292: Commit 85fad3f pushed by KrystalDelusion
April 14, 2024 22:32 29m 26s krys/help_docs
krys/help_docs
April 14, 2024 22:32 29m 26s
Strip compilation date from doc outputs Build and run tests (Linux) #3291: Pull request #4334 synchronize by KrystalDelusion
April 14, 2024 22:13 35m 1s docs_tidy
docs_tidy
April 14, 2024 22:13 35m 1s
Docs: Rename source/temp to source/generated Build and run tests (Linux) #3290: Commit 73d0215 pushed by KrystalDelusion
April 14, 2024 22:13 24m 22s docs_tidy
docs_tidy
April 14, 2024 22:13 24m 22s
Strip compilation date from doc outputs Build and run tests (Linux) #3289: Pull request #4334 synchronize by KrystalDelusion
April 14, 2024 21:51 35m 45s docs_tidy
docs_tidy
April 14, 2024 21:51 35m 45s