Skip to content

Actions: CQCL/hugr

Actions

Build and publish docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
97 workflow run results
97 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test: Add "validate" to hugr CLI command. (#1331) Build and publish docs #22: Commit d8e6cf7 pushed by github-merge-queue bot
July 22, 2024 13:27 7m 39s main
main
July 22, 2024 13:27 7m 39s
fix: add op's extension to signature check in resolve_opaque_op (#1… Build and publish docs #21: Commit 01da7ba pushed by github-merge-queue bot
July 17, 2024 12:01 7m 47s main
main
July 17, 2024 12:01 7m 47s
test: Print hugr-cli's errors on python tests (#1310) Build and publish docs #20: Commit afe1a77 pushed by github-merge-queue bot
July 16, 2024 10:44 7m 53s main
main
July 16, 2024 10:44 7m 53s
fix(hugr-py): ops require their own extensions (#1303) Build and publish docs #19: Commit 026bfcb pushed by github-merge-queue bot
July 15, 2024 16:40 7m 53s main
main
July 15, 2024 16:40 7m 53s
feat(hugr-py): AsCustomOp protocol for user-defined custom op types… Build and publish docs #18: Commit 1db43eb pushed by github-merge-queue bot
July 10, 2024 15:46 7m 57s main
main
July 10, 2024 15:46 7m 57s
chore(main): release hugr-py 0.4.0 (#1289) Build and publish docs #17: Commit 5bf1b51 pushed by github-merge-queue bot
July 10, 2024 12:37 6m 16s main
main
July 10, 2024 12:37 6m 16s
feat(hugr-py): move std extension types/ops in to std module (#1288) Build and publish docs #16: Commit 7d82245 pushed by github-merge-queue bot
July 10, 2024 09:16 5m 56s main
main
July 10, 2024 09:16 5m 56s
feat(hugr-py)!: Override add rather than append + extend on all… Build and publish docs #15: Commit af38154 pushed by github-merge-queue bot
July 10, 2024 09:07 5m 41s main
main
July 10, 2024 09:07 5m 41s
chore(deps-py): bump pydantic from 2.8.0 to 2.8.2 in /hugr-py (#1281) Build and publish docs #14: Commit 9b04097 pushed by github-merge-queue bot
July 9, 2024 08:43 5m 54s main
main
July 9, 2024 08:43 5m 54s
refactor(hugr-py): freeze custom ops (#1279) Build and publish docs #13: Commit 94702d2 pushed by github-merge-queue bot
July 9, 2024 08:30 5m 55s main
main
July 9, 2024 08:30 5m 55s
Build and publish docs Build and publish docs #12: Manually run by ss2165
July 8, 2024 15:41 5m 33s main
main
July 8, 2024 15:41 5m 33s
chore(main): release hugr-py 0.3.1 (#1264) Build and publish docs #11: Commit 7bb4130 pushed by github-merge-queue bot
July 8, 2024 15:36 3m 59s main
main
July 8, 2024 15:36 3m 59s
feat(hugr-py): context manager style nested building (#1276) Build and publish docs #10: Commit 6b32734 pushed by github-merge-queue bot
July 8, 2024 15:23 3m 58s main
main
July 8, 2024 15:23 3m 58s
chore(deps-py): update pydantic requirement from ~2.7.0 to >=2.7,<2.9… Build and publish docs #9: Commit cdc3739 pushed by github-merge-queue bot
July 8, 2024 09:15 4m 54s main
main
July 8, 2024 09:15 4m 54s
chore(deps-py): bump certifi from 2024.6.2 to 2024.7.4 in /hugr-py in… Build and publish docs #8: Commit bdcbcd3 pushed by github-merge-queue bot
July 8, 2024 08:45 4m 10s main
main
July 8, 2024 08:45 4m 10s
feat(hugr-py): IndexDfg builder for appending operations by index (… Build and publish docs #7: Commit df9b4cc pushed by github-merge-queue bot
July 5, 2024 10:00 4m 49s main
main
July 5, 2024 10:00 4m 49s
Build and publish docs Build and publish docs #6: Manually run by ss2165
July 3, 2024 15:57 3m 55s main
main
July 3, 2024 15:57 3m 55s
Build and publish docs Build and publish docs #5: Manually run by ss2165
July 3, 2024 15:00 2m 38s main
main
July 3, 2024 15:00 2m 38s
chore(main): release hugr-py 0.3.0 (#1092) Build and publish docs #4: Commit 004b6c1 pushed by github-merge-queue bot
July 3, 2024 14:53 2m 35s main
main
July 3, 2024 14:53 2m 35s
docs(hugr-py): add docs link to README (#1259) Build and publish docs #3: Commit d2a9148 pushed by github-merge-queue bot
July 3, 2024 13:41 2m 25s main
main
July 3, 2024 13:41 2m 25s
Build and publish docs Build and publish docs #2: Manually run by ss2165
July 3, 2024 12:39 2m 39s main
main
July 3, 2024 12:39 2m 39s
docs(hugr-py): build and publish docs (#1253) Build and publish docs #1: Commit 902fc14 pushed by github-merge-queue bot
July 3, 2024 08:52 33s main
main
July 3, 2024 08:52 33s