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
1,011 workflow run results
1,011 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #4372 from YosysHQ/krys/docs_version_number Build and run tests with Verific (Linux) #112: Commit 90dd508 pushed by mmicko
May 7, 2024 07:15 8m 16s main
main
May 7, 2024 07:15 8m 16s
Docs: Use formatted cmd ref in pdf Build and run tests with Verific (Linux) #111: Pull request #4376 opened by KrystalDelusion
May 7, 2024 00:39 4m 10s krys/docs_cmd_ref
krys/docs_cmd_ref
May 7, 2024 00:39 4m 10s
Docs: Use formatted cmd ref in pdf Build and run tests with Verific (Linux) #110: Commit e9b803b pushed by KrystalDelusion
May 7, 2024 00:38 4m 26s krys/docs_cmd_ref
krys/docs_cmd_ref
May 7, 2024 00:38 4m 26s
Docs: Set release to YOSYS_VER Build and run tests with Verific (Linux) #109: Pull request #4372 synchronize by KrystalDelusion
May 6, 2024 22:23 4m 27s krys/docs_version_number
krys/docs_version_number
May 6, 2024 22:23 4m 27s
Makefile: Export YOSYS_VER only for make docs Build and run tests with Verific (Linux) #108: Commit 6eb49ee pushed by KrystalDelusion
May 6, 2024 22:23 4m 7s krys/docs_version_number
krys/docs_version_number
May 6, 2024 22:23 4m 7s
Enable nanoxplore tests Build and run tests with Verific (Linux) #107: Commit 709e687 pushed by mmicko
May 6, 2024 13:25 4m 20s nanoxplore
nanoxplore
May 6, 2024 13:25 4m 20s
Merge pull request #4300 from YosysHQ/cellmatch Build and run tests with Verific (Linux) #106: Commit 68c7fc4 pushed by widlarizer
May 6, 2024 13:12 8m 2s main
main
May 6, 2024 13:12 8m 2s
cleanup Build and run tests with Verific (Linux) #105: Commit 11f6475 pushed by mmicko
May 6, 2024 13:00 3m 56s nanoxplore
nanoxplore
May 6, 2024 13:00 3m 56s
bbox_derive: add assert and debug print Build and run tests with Verific (Linux) #104: Commit 44b0fdc pushed by widlarizer
May 6, 2024 08:24 4m 14s povik/bbox_derive
povik/bbox_derive
May 6, 2024 08:24 4m 14s
Docs: Set release to YOSYS_VER Build and run tests with Verific (Linux) #103: Pull request #4372 opened by KrystalDelusion
May 4, 2024 04:54 4m 28s krys/docs_version_number
krys/docs_version_number
May 4, 2024 04:54 4m 28s
Makefile: Export YOSYS_VER Build and run tests with Verific (Linux) #102: Commit fe27240 pushed by KrystalDelusion
May 4, 2024 04:51 4m 29s krys/docs_version_number
krys/docs_version_number
May 4, 2024 04:51 4m 29s
cellmatch: New pass for picking out standard cells automatically Build and run tests with Verific (Linux) #101: Pull request #4300 synchronize by widlarizer
May 3, 2024 14:43 4m 12s cellmatch
cellmatch
May 3, 2024 14:43 4m 12s
cellmatch: add comments Build and run tests with Verific (Linux) #100: Commit e939182 pushed by widlarizer
May 3, 2024 14:43 4m 9s cellmatch
cellmatch
May 3, 2024 14:43 4m 9s
Merge pull request #4365 from widlarizer/techmap-chtype-test Build and run tests with Verific (Linux) #99: Commit 2631c7e pushed by widlarizer
May 3, 2024 14:25 8m 4s main
main
May 3, 2024 14:25 8m 4s
intel_alm: convert to memory_libmap Build and run tests with Verific (Linux) #98: Commit e523caa pushed by Ravenslofty
May 3, 2024 12:19 3m 49s lofty/intel_alm-memory_libmap
lofty/intel_alm-memory_libmap
May 3, 2024 12:19 3m 49s
techmap: add dynamic cell type test Build and run tests with Verific (Linux) #97: Pull request #4365 synchronize by widlarizer
May 3, 2024 11:54 4m 17s widlarizer:techmap-chtype-test
widlarizer:techmap-chtype-test
May 3, 2024 11:54 4m 17s
techmap: Remove techmap_chtype from the result Build and run tests with Verific (Linux) #96: Commit 6ff4ecb pushed by povik
May 3, 2024 11:33 8m 19s main
main
May 3, 2024 11:33 8m 19s
cellmatch: New pass for picking out standard cells automatically Build and run tests with Verific (Linux) #95: Pull request #4300 synchronize by povik
May 3, 2024 11:31 3m 56s cellmatch
cellmatch
May 3, 2024 11:31 3m 56s
intel_alm: drop quartus support Build and run tests with Verific (Linux) #94: Pull request #4367 synchronize by Ravenslofty
May 3, 2024 10:32 4m 3s lofty/intel_alm-drop-quartus
lofty/intel_alm-drop-quartus
May 3, 2024 10:32 4m 3s
intel_alm: drop quartus support Build and run tests with Verific (Linux) #93: Commit 8cc9aa7 pushed by Ravenslofty
May 3, 2024 10:32 4m 23s lofty/intel_alm-drop-quartus
lofty/intel_alm-drop-quartus
May 3, 2024 10:32 4m 23s
intel_alm: drop quartus support Build and run tests with Verific (Linux) #92: Pull request #4367 opened by Ravenslofty
May 3, 2024 10:23 2m 41s lofty/intel_alm-drop-quartus
lofty/intel_alm-drop-quartus
May 3, 2024 10:23 2m 41s
intel_alm: drop quartus support Build and run tests with Verific (Linux) #91: Commit 5767222 pushed by Ravenslofty
May 3, 2024 10:17 2m 46s lofty/intel_alm-drop-quartus
lofty/intel_alm-drop-quartus
May 3, 2024 10:17 2m 46s
intel_alm: drop quartus support Build and run tests with Verific (Linux) #90: Commit 225707b pushed by Ravenslofty
May 3, 2024 10:09 27s lofty/intel_alm-drop-quartus
lofty/intel_alm-drop-quartus
May 3, 2024 10:09 27s
techmap: Support mapping to dynamic cell types Build and run tests with Verific (Linux) #89: Pull request #4327 synchronize by widlarizer
May 3, 2024 10:00 4m 42s techmap-chtype
techmap-chtype
May 3, 2024 10:00 4m 42s
Add docs generation from cells help output Build and run tests with Verific (Linux) #88: Pull request #4332 synchronize by KrystalDelusion
May 3, 2024 01:38 4m 27s krys/help_docs
krys/help_docs
May 3, 2024 01:38 4m 27s
ProTip! You can narrow down the results and go further in time using created:<2024-05-03 or the other filters available.