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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
ci: Call make html directly Build docs artifact with Verific #89: Commit c160442 pushed by KrystalDelusion
October 7, 2024 19:11 2m 16s krys/pr_docs_ci
krys/pr_docs_ci
October 7, 2024 19:11 2m 16s
Remove make docs race conditions (and other docs fixes) Build docs artifact with Verific #88: Pull request #4635 synchronize by KrystalDelusion
October 7, 2024 18:49 3m 27s krys/pr_docs_ci
krys/pr_docs_ci
October 7, 2024 18:49 3m 27s
ci: Switch test build docs to our runner Build docs artifact with Verific #87: Commit b151036 pushed by KrystalDelusion
October 7, 2024 18:49 1m 56s krys/pr_docs_ci
krys/pr_docs_ci
October 7, 2024 18:49 1m 56s
Merge pull request #4609 from georgerennie/george/smtbmc_paths Build docs artifact with Verific #86: Commit b3b88e5 pushed by jix
October 7, 2024 18:36 1m 54s main
main
October 7, 2024 18:36 1m 54s
Merge pull request #4637 from YosysHQ/emil/bufnorm-warning Build docs artifact with Verific #85: Commit 9479d3b pushed by povik
October 7, 2024 16:01 1m 6s main
main
October 7, 2024 16:01 1m 6s
bufnorm: avoid remove warning. NFC Build docs artifact with Verific #84: Commit a76bcdc pushed by widlarizer
October 7, 2024 15:58 1s emil/bufnorm-warning
emil/bufnorm-warning
October 7, 2024 15:58 1s
bufnorm: avoid remove warning Build docs artifact with Verific #83: Commit 7fc508d pushed by widlarizer
October 7, 2024 15:56 3s emil/bufnorm-warning
emil/bufnorm-warning
October 7, 2024 15:56 3s
Merge pull request #4613 from povik/err-never-silence Build docs artifact with Verific #82: Commit e46cc57 pushed by povik
October 7, 2024 14:12 2m 16s main
main
October 7, 2024 14:12 2m 16s
Merge pull request #4628 from povik/bump-abc Build docs artifact with Verific #81: Commit 0556cb5 pushed by povik
October 7, 2024 14:12 2m 56s main
main
October 7, 2024 14:12 2m 56s
Merge pull request #4605 from povik/liberty-unit-delay Build docs artifact with Verific #80: Commit 0aab8b4 pushed by povik
October 7, 2024 14:11 2m 1s main
main
October 7, 2024 14:11 2m 1s
Merge pull request #4593 from povik/aiger2 Build docs artifact with Verific #79: Commit 74e92d1 pushed by povik
October 7, 2024 14:11 1m 30s main
main
October 7, 2024 14:11 1m 30s
Merge pull request #4607 from povik/ql-nodiv Build docs artifact with Verific #78: Commit 6c1450f pushed by povik
October 7, 2024 14:11 1m 20s main
main
October 7, 2024 14:11 1m 20s
Remove make docs race conditions (and other docs fixes) Build docs artifact with Verific #77: Pull request #4635 synchronize by KrystalDelusion
October 7, 2024 09:52 2m 0s krys/pr_docs_ci
krys/pr_docs_ci
October 7, 2024 09:52 2m 0s
Update test-build.yml Build docs artifact with Verific #76: Commit f72d021 pushed by KrystalDelusion
October 7, 2024 09:52 2m 5s krys/pr_docs_ci
krys/pr_docs_ci
October 7, 2024 09:52 2m 5s
Remove make docs race conditions (and other docs fixes) Build docs artifact with Verific #75: Pull request #4635 synchronize by KrystalDelusion
October 7, 2024 09:22 6m 36s krys/pr_docs_ci
krys/pr_docs_ci
October 7, 2024 09:22 6m 36s