Skip to content

Actions: YosysHQ/yosys

Actions

Build docs artifact with Verific

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
prepare-docs.yml
664 workflow runs
664 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

driver: replace getopt with cxxopts, replace -B, clean up help Build docs artifact with Verific #114: Pull request #4616 synchronize by widlarizer
October 9, 2024 13:35 4m 42s emil/cxxopts
emil/cxxopts
October 9, 2024 13:35 4m 42s
driver: switch to cxxopts, replace -B Build docs artifact with Verific #113: Commit 575415a pushed by widlarizer
October 9, 2024 13:35 4m 23s emil/cxxopts
emil/cxxopts
October 9, 2024 13:35 4m 23s
write_btor: only initialize array with const value when it is fully def Build docs artifact with Verific #112: Pull request #4645 synchronize by georgerennie
October 9, 2024 13:08 7m 40s georgerennie:george/btor_undef_array_init
georgerennie:george/btor_undef_array_init
October 9, 2024 13:08 7m 40s
hashlib: fix pyosys Build docs artifact with Verific #111: Commit ead99bb pushed by widlarizer
October 9, 2024 13:01 3s emil/hashlib-interface
emil/hashlib-interface
October 9, 2024 13:01 3s
Merge pull request #4624 from YosysHQ/emil/cxxrtl-smoke-test Build docs artifact with Verific #110: Commit 038e262 pushed by widlarizer
October 9, 2024 12:57 2m 0s main
main
October 9, 2024 12:57 2m 0s
Merge pull request #4647 from YosysHQ/fix_macos_ci Build docs artifact with Verific #109: Commit eefd111 pushed by mmicko
October 9, 2024 12:53 1m 29s main
main
October 9, 2024 12:53 1m 29s
CI: force brew formula update Build docs artifact with Verific #108: Pull request #4647 opened by mmicko
October 9, 2024 12:12 3m 49s fix_macos_ci
fix_macos_ci
October 9, 2024 12:12 3m 49s
cxxrtl: fix formatting of UNICHAR Build docs artifact with Verific #107: Pull request #4646 opened by rroohhh
October 9, 2024 12:10 4m 48s rroohhh:cxxrtl_fmt_unichar
rroohhh:cxxrtl_fmt_unichar
October 9, 2024 12:10 4m 48s
force brew formula update Build docs artifact with Verific #106: Commit a6ccf22 pushed by mmicko
October 9, 2024 12:09 1m 54s fix_macos_ci
fix_macos_ci
October 9, 2024 12:09 1m 54s
write_btor: only initialize array with const value when it is fully def Build docs artifact with Verific #105: Pull request #4645 opened by georgerennie
October 9, 2024 11:52 1m 53s georgerennie:george/btor_undef_array_init
georgerennie:george/btor_undef_array_init
October 9, 2024 11:52 1m 53s
wheels: fix missing yosys-abc/share directory Build docs artifact with Verific #104: Pull request #4643 synchronize by donn
October 9, 2024 10:09 1m 54s donn:fix_wheels
donn:fix_wheels
October 9, 2024 10:09 1m 54s
wheels: fix missing yosys-abc/share directory Build docs artifact with Verific #103: Pull request #4643 opened by donn
October 9, 2024 09:46 1m 57s donn:fix_wheels
donn:fix_wheels
October 9, 2024 09:46 1m 57s
Merge pull request #4642 from YosysHQ/fix_ci Build docs artifact with Verific #102: Commit a5968e4 pushed by mmicko
October 9, 2024 08:30 1m 35s main
main
October 9, 2024 08:30 1m 35s
Fix CI by adding lld as brew package Build docs artifact with Verific #101: Pull request #4642 opened by mmicko
October 9, 2024 07:52 1m 30s fix_ci
fix_ci
October 9, 2024 07:52 1m 30s
CI: lld is now separate brew package Build docs artifact with Verific #100: Commit c93c7f8 pushed by mmicko
October 9, 2024 07:50 1m 58s fix_ci
fix_ci
October 9, 2024 07:50 1m 58s
Next dev cycle Build docs artifact with Verific #99: Commit 8893dad pushed by mmicko
October 9, 2024 06:15 1m 56s main
main
October 9, 2024 06:15 1m 56s
Release version 0.46 Build docs artifact with Verific #98: Commit e97731b pushed by mmicko
October 9, 2024 06:09 2m 48s 0.46
0.46
October 9, 2024 06:09 2m 48s
Release version 0.46 Build docs artifact with Verific #97: Commit e97731b pushed by mmicko
October 9, 2024 06:08 2m 37s main
main
October 9, 2024 06:08 2m 37s
Merge pull request #4639 from mikesinouye/hashlib Build docs artifact with Verific #96: Commit 380a425 pushed by povik
October 8, 2024 14:42 2m 43s main
main
October 8, 2024 14:42 2m 43s
write_btor: don't emit undriven bits multiple times Build docs artifact with Verific #95: Pull request #4641 opened by georgerennie
October 8, 2024 12:39 1m 58s georgerennie:george/btor_undriven_wires
georgerennie:george/btor_undriven_wires
October 8, 2024 12:39 1m 58s
Merge pull request #4534 from donn/test_wheels Build docs artifact with Verific #94: Commit 535b330 pushed by mmicko
October 8, 2024 09:24 1m 59s main
main
October 8, 2024 09:24 1m 59s
Merge pull request #4635 from YosysHQ/krys/pr_docs_ci Build docs artifact with Verific #93: Commit 0be3b7d pushed by KrystalDelusion
October 8, 2024 08:39 1m 53s main
main
October 8, 2024 08:39 1m 53s
Remove make docs race conditions (and other docs fixes) Build docs artifact with Verific #92: Pull request #4635 synchronize by mmicko
October 8, 2024 06:48 2m 34s krys/pr_docs_ci
krys/pr_docs_ci
October 8, 2024 06:48 2m 34s
Add TODO for missing help messages Build docs artifact with Verific #91: Commit f079772 pushed by mmicko
October 8, 2024 06:48 2m 27s krys/pr_docs_ci
krys/pr_docs_ci
October 8, 2024 06:48 2m 27s
Remove make docs race conditions (and other docs fixes) Build docs artifact with Verific #90: Pull request #4635 synchronize by KrystalDelusion
October 7, 2024 19:11 2m 16s krys/pr_docs_ci
krys/pr_docs_ci
October 7, 2024 19:11 2m 16s
ProTip! You can narrow down the results and go further in time using created:<2024-10-07 or the other filters available.