Skip to content

Actions: YosysHQ/yosys

Build docs artifact with Verific

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
127 workflow run results
127 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Docs: Update for properties
Build docs artifact with Verific #27: Commit 4803af0 pushed by KrystalDelusion
September 6, 2024 03:42 1m 18s docs-preview-cellhelp
September 6, 2024 03:42 1m 18s
Merge pull request #4582 from YosysHQ/emil/internal_stats-help-string
Build docs artifact with Verific #26: Commit 3b8f3c2 pushed by povik
September 5, 2024 13:37 1m 22s main
September 5, 2024 13:37 1m 22s
Merge pull request #4576 from povik/xaiger-drop-bswap
Build docs artifact with Verific #25: Commit 7e65b83 pushed by povik
September 5, 2024 13:36 1m 20s main
September 5, 2024 13:36 1m 20s
Merge pull request #4581 from YosysHQ/emil/ff-clk-comment
Build docs artifact with Verific #24: Commit 73a2d35 pushed by povik
September 5, 2024 10:34 1m 40s main
September 5, 2024 10:34 1m 40s
internal_stats: fix doc build by adding a help string
Build docs artifact with Verific #23: Commit 14b9155 pushed by widlarizer
September 5, 2024 09:22 3s emil/internal_stats-help-string
September 5, 2024 09:22 3s
ff: improve comments
Build docs artifact with Verific #22: Commit bd6f7bb pushed by widlarizer
September 5, 2024 09:17 3s emil/ff-clk-comment
September 5, 2024 09:17 3s
Update krys/help_docs to 0.45
Build docs artifact with Verific #21: Commit 927bc3f pushed by KrystalDelusion
September 5, 2024 03:57 1m 53s docs-preview-cellhelp
September 5, 2024 03:57 1m 53s
Docs: Use Read the Docs SPHINXOPTS
Build docs artifact with Verific #20: Commit 17ee367 pushed by KrystalDelusion
September 5, 2024 03:47 1m 19s main
September 5, 2024 03:47 1m 19s
Update krys/help_docs to 0.45+3
Build docs artifact with Verific #19: Commit 8f62256 pushed by KrystalDelusion
September 5, 2024 03:34 1m 18s docs-preview-cellhelp
September 5, 2024 03:34 1m 18s
Merge pull request #4554 from YosysHQ/emil/devstat
Build docs artifact with Verific #18: Commit 68fbca8 pushed by povik
September 3, 2024 19:06 1m 17s main
September 3, 2024 19:06 1m 17s
hashlib: hasher only does ints, gcc compat
Build docs artifact with Verific #17: Commit c3c3a7e pushed by widlarizer
September 3, 2024 11:31 2s emil/hashlib-interface
September 3, 2024 11:31 2s
hashlib: shake it up
Build docs artifact with Verific #16: Commit 7679f15 pushed by widlarizer
September 3, 2024 11:31 3s emil/prove-hash-sensitivity
September 3, 2024 11:31 3s
Next dev cycle
Build docs artifact with Verific #15: Commit 0744fac pushed by mmicko
September 3, 2024 10:39 1m 16s main
September 3, 2024 10:39 1m 16s
Fix TODOs in docs
Build docs artifact with Verific #14: Commit 9ed031d pushed by mmicko
September 3, 2024 10:33 1m 10s 0.45
September 3, 2024 10:33 1m 10s
Fix TODOs in docs
Build docs artifact with Verific #13: Commit 9ed031d pushed by mmicko
September 3, 2024 10:29 1m 7s main
September 3, 2024 10:29 1m 7s
Release version 0.45
Build docs artifact with Verific #12: Commit 3e0dc2f pushed by mmicko
September 3, 2024 09:56 1m 6s 0.45
September 3, 2024 09:56 1m 6s
Release version 0.45
Build docs artifact with Verific #11: Commit 3e0dc2f pushed by mmicko
September 3, 2024 09:40 1m 5s yosys-0.45
September 3, 2024 09:40 1m 5s
Release version 0.45
Build docs artifact with Verific #10: Commit 3e0dc2f pushed by mmicko
September 3, 2024 08:57 1m 22s main
September 3, 2024 08:57 1m 22s
Merge pull request #4504 from YosysHQ/nanoxplore
Build docs artifact with Verific #9: Commit 598d010 pushed by mmicko
September 3, 2024 08:19 1m 17s main
September 3, 2024 08:19 1m 17s
Merge pull request #4563 from YosysHQ/krys/better_rtds_action
Build docs artifact with Verific #8: Commit 9fca352 pushed by mmicko
September 3, 2024 07:32 1m 7s main
September 3, 2024 07:32 1m 7s
Add macOS instructions for latexpdf
Build docs artifact with Verific #7: Commit 89cbca4 pushed by mmicko
September 3, 2024 07:15 3s krys/better_rtds_action
September 3, 2024 07:15 3s
Docs: Add todos from JF
Build docs artifact with Verific #6: Commit 97b0591 pushed by KrystalDelusion
September 3, 2024 00:16 1m 5s docs-preview-cellhelp
September 3, 2024 00:16 1m 5s
Docs: Add gate_other page
Build docs artifact with Verific #5: Commit 268c0b8 pushed by KrystalDelusion
September 3, 2024 00:04 1m 32s docs-preview-cellhelp
September 3, 2024 00:04 1m 32s
Docs: Show todos in previews
Build docs artifact with Verific #4: Commit 558f313 pushed by KrystalDelusion
September 2, 2024 23:53 2s krys/better_rtds_action
September 2, 2024 23:53 2s
ci: test-verific no longer needs special casing
Build docs artifact with Verific #3: Commit 25623b1 pushed by KrystalDelusion
September 2, 2024 23:50 1m 7s docs-previewtest
September 2, 2024 23:50 1m 7s