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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: macos explicitly install pythons Build and run tests with Verific (Linux) #1252: Commit b87f39c pushed by mmicko
October 18, 2024 06:11 3m 41s micko/fix_macos_ci
micko/fix_macos_ci
October 18, 2024 06:11 3m 41s
CI: Make sure all brew packages are upgraded Build and run tests with Verific (Linux) #1251: Commit 601424d pushed by mmicko
October 18, 2024 05:46 13m 12s micko/fix_macos_ci
micko/fix_macos_ci
October 18, 2024 05:46 13m 12s
yosys: fix pyosys initialization segfault Build and run tests with Verific (Linux) #1250: Pull request #4675 opened by widlarizer
October 17, 2024 20:22 13s emil/pyosys-fix-segfault
emil/pyosys-fix-segfault
October 17, 2024 20:22 13s
yosys: fix pyosys initialization segfault Build and run tests with Verific (Linux) #1249: Commit dcea2e8 pushed by widlarizer
October 17, 2024 20:21 16m 16s emil/pyosys-fix-segfault
emil/pyosys-fix-segfault
October 17, 2024 20:21 16m 16s
libs/fst: Update from upstream Build and run tests with Verific (Linux) #1248: Pull request #4543 synchronize by KrystalDelusion
October 17, 2024 18:25 21s update_fst
update_fst
October 17, 2024 18:25 21s
libs/fst: Use unbuffered IO flag Build and run tests with Verific (Linux) #1247: Commit a370c11 pushed by KrystalDelusion
October 17, 2024 18:25 14m 50s update_fst
update_fst
October 17, 2024 18:25 14m 50s
test-docs-build: Install docs prereqs Build and run tests with Verific (Linux) #1246: Commit f881ba6 pushed by KrystalDelusion
October 17, 2024 16:39 19m 1s main
main
October 17, 2024 16:39 19m 1s
Merge pull request #4376 from YosysHQ/krys/docs_cmd_ref Build and run tests with Verific (Linux) #1245: Commit 38dae1d pushed by KrystalDelusion
October 17, 2024 15:53 19m 13s main
main
October 17, 2024 15:53 19m 13s
actions: vendor sources with submodules for releases Build and run tests with Verific (Linux) #1244: Pull request #4668 synchronize by widlarizer
October 16, 2024 22:11 41s emil/vendor-submodules
emil/vendor-submodules
October 16, 2024 22:11 41s
actions: vendor sources with submodules for releases Build and run tests with Verific (Linux) #1243: Commit d29499a pushed by widlarizer
October 16, 2024 22:11 15m 40s emil/vendor-submodules
emil/vendor-submodules
October 16, 2024 22:11 15m 40s
actions: vendor sources with submodules for releases Build and run tests with Verific (Linux) #1242: Pull request #4668 synchronize by widlarizer
October 16, 2024 22:10 14s emil/vendor-submodules
emil/vendor-submodules
October 16, 2024 22:10 14s
actions: run vendor-sources on push and manually Build and run tests with Verific (Linux) #1241: Commit 1143d67 pushed by widlarizer
October 16, 2024 22:10 1m 29s emil/vendor-submodules
emil/vendor-submodules
October 16, 2024 22:10 1m 29s
driver: fix special args passing to tcl and python Build and run tests with Verific (Linux) #1240: Pull request #4672 opened by widlarizer
October 16, 2024 22:01 14s emil/fix-tcl-args-cxxopts
emil/fix-tcl-args-cxxopts
October 16, 2024 22:01 14s
driver: fix special args passing to tcl and python Build and run tests with Verific (Linux) #1239: Commit 0341265 pushed by widlarizer
October 16, 2024 21:56 15m 39s emil/fix-tcl-args-cxxopts
emil/fix-tcl-args-cxxopts
October 16, 2024 21:56 15m 39s
py_wrap: implement nested class definitions Build and run tests with Verific (Linux) #1238: Pull request #4671 opened by widlarizer
October 16, 2024 21:22 17s emil/const-deref-pyosys
emil/const-deref-pyosys
October 16, 2024 21:22 17s
rtlil: remove trailing comma as pyosys workaround Build and run tests with Verific (Linux) #1237: Commit e9e67f3 pushed by widlarizer
October 16, 2024 21:17 16m 32s emil/const-deref-pyosys
emil/const-deref-pyosys
October 16, 2024 21:17 16m 32s
Docs: Use formatted cmd ref in pdf Build and run tests with Verific (Linux) #1236: Pull request #4376 synchronize by KrystalDelusion
October 16, 2024 18:15 4m 15s krys/docs_cmd_ref
krys/docs_cmd_ref
October 16, 2024 18:15 4m 15s
test-docs-build: Use fast runner Build and run tests with Verific (Linux) #1235: Commit d1c6699 pushed by KrystalDelusion
October 16, 2024 18:15 18m 31s krys/docs_cmd_ref
krys/docs_cmd_ref
October 16, 2024 18:15 18m 31s
Docs: Use formatted cmd ref in pdf Build and run tests with Verific (Linux) #1234: Pull request #4376 synchronize by KrystalDelusion
October 16, 2024 18:12 23s krys/docs_cmd_ref
krys/docs_cmd_ref
October 16, 2024 18:12 23s
Makefile: Combine gen_images and gen_examples Build and run tests with Verific (Linux) #1233: Commit e5da0e3 pushed by KrystalDelusion
October 16, 2024 18:12 6m 9s krys/docs_cmd_ref
krys/docs_cmd_ref
October 16, 2024 18:12 6m 9s
libs/fst: Update from upstream Build and run tests with Verific (Linux) #1232: Pull request #4543 synchronize by KrystalDelusion
October 16, 2024 18:05 14s update_fst
update_fst
October 16, 2024 18:05 14s
libs/fst: Patch more _MSC_VER checks Build and run tests with Verific (Linux) #1231: Commit 2157f67 pushed by KrystalDelusion
October 16, 2024 18:05 18m 50s update_fst
update_fst
October 16, 2024 18:05 18m 50s
libs/fst: Patch more _MSC_VER checks Build and run tests with Verific (Linux) #1230: Commit e2a6d47 pushed by KrystalDelusion
October 16, 2024 17:29 12m 32s update_fst
update_fst
October 16, 2024 17:29 12m 32s
Docs: Use formatted cmd ref in pdf Build and run tests with Verific (Linux) #1229: Pull request #4376 synchronize by KrystalDelusion
October 16, 2024 17:10 12s krys/docs_cmd_ref
krys/docs_cmd_ref
October 16, 2024 17:10 12s
test-build.yml: Add test-docs-build Build and run tests with Verific (Linux) #1228: Commit 5d14c30 pushed by KrystalDelusion
October 16, 2024 17:10 18m 25s krys/docs_cmd_ref
krys/docs_cmd_ref
October 16, 2024 17:10 18m 25s