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

feat(hugr-py)!: pretty printing for ops and types (#1482) Build and publish docs #72: Commit aca403a pushed by github-merge-queue bot
August 30, 2024 09:48 17s main
main
August 30, 2024 09:48 17s
feat!: Add more list operations (#1474) Build and publish docs #71: Commit 037005f pushed by github-merge-queue bot
August 30, 2024 09:02 20s main
main
August 30, 2024 09:02 20s
Build and publish docs Build and publish docs #70: Manually run by aborgna-q
August 29, 2024 16:09 1m 0s ab/fix-docs-ci
ab/fix-docs-ci
August 29, 2024 16:09 1m 0s
Build and publish docs Build and publish docs #69: Manually run by aborgna-q
August 29, 2024 16:05 1m 6s ab/fix-docs-ci
ab/fix-docs-ci
August 29, 2024 16:05 1m 6s
fix: Sum value equality. Add unit tests (#1484) Build and publish docs #68: Commit a7b2718 pushed by github-merge-queue bot
August 29, 2024 16:03 18s main
main
August 29, 2024 16:03 18s
feat: Option / Result helpers (#1481) Build and publish docs #67: Commit 9698420 pushed by github-merge-queue bot
August 29, 2024 15:46 17s main
main
August 29, 2024 15:46 17s
refactor!: Organise the hugr-py modules (#1460) Build and publish docs #66: Commit 3ca56f4 pushed by github-merge-queue bot
August 29, 2024 14:49 14s main
main
August 29, 2024 14:49 14s
fix(hugr-py): record node children correctly when deserializing (#1480) Build and publish docs #65: Commit 331125a pushed by github-merge-queue bot
August 29, 2024 10:38 15s main
main
August 29, 2024 10:38 15s
feat!: Move Lift, MakeTuple, UnpackTuple and Lift to prelude … Build and publish docs #64: Commit b387505 pushed by github-merge-queue bot
August 28, 2024 14:36 17s main
main
August 28, 2024 14:36 17s
refactor(hugr-py)!: make serialization (module/methods) private (#1477) Build and publish docs #63: Commit 49a5bad pushed by github-merge-queue bot
August 28, 2024 14:02 21s main
main
August 28, 2024 14:02 21s
chore: Replace poetry with uv (#1465) Build and publish docs #62: Commit 0dc2c9c pushed by github-merge-queue bot
August 27, 2024 16:36 17s main
main
August 27, 2024 16:36 17s
feat: Add missing ops (#1463) Build and publish docs #61: Commit 841f450 pushed by github-merge-queue bot
August 27, 2024 15:53 22s main
main
August 27, 2024 15:53 22s
feat: Bring in the pure-python renderer from guppy (#1462) Build and publish docs #60: Commit 001e66a pushed by github-merge-queue bot
August 22, 2024 15:29 30s main
main
August 22, 2024 15:29 30s
refactor!: Make _DfBase and _DefinitionBuilder public (#1461) Build and publish docs #59: Commit ea9cca0 pushed by github-merge-queue bot
August 22, 2024 14:23 2m 54s main
main
August 22, 2024 14:23 2m 54s
feat(hugr-py): use serialized extensions in python (#1459) Build and publish docs #58: Commit a61f4df pushed by github-merge-queue bot
August 21, 2024 16:36 3m 0s main
main
August 21, 2024 16:36 3m 0s
fix(py): Invalid node indexing (#1457) Build and publish docs #57: Commit d6edcd7 pushed by github-merge-queue bot
August 21, 2024 15:59 2m 49s main
main
August 21, 2024 15:59 2m 49s
feat!: int operations other than widen/narrow have only one width arg… Build and publish docs #56: Commit c39ed15 pushed by github-merge-queue bot
August 21, 2024 15:18 3m 5s main
main
August 21, 2024 15:18 3m 5s
chore: Use local ruff and mypy for pre-commit (#1440) Build and publish docs #55: Commit 0689868 pushed by github-merge-queue bot
August 16, 2024 15:40 3m 11s main
main
August 16, 2024 15:40 3m 11s
feat!: disallow opaque ops during validation (#1431) Build and publish docs #54: Commit fbbb805 pushed by github-merge-queue bot
August 15, 2024 11:18 2m 51s main
main
August 15, 2024 11:18 2m 51s
refactor!: flatten CustomOp in to OpType (#1429) Build and publish docs #53: Commit 8e8bba5 pushed by github-merge-queue bot
August 14, 2024 16:25 5m 51s main
main
August 14, 2024 16:25 5m 51s
chore(main): release hugr-py 0.7.0 (#1423) Build and publish docs #52: Commit e59464b pushed by github-merge-queue bot
August 14, 2024 14:52 3m 15s main
main
August 14, 2024 14:52 3m 15s
feat(py): Add node metadata (#1428) Build and publish docs #51: Commit b229be6 pushed by github-merge-queue bot
August 14, 2024 14:38 2m 56s main
main
August 14, 2024 14:38 2m 56s
fix(py): Invalid serialization of float and int constants (#1427) Build and publish docs #50: Commit b89c08f pushed by github-merge-queue bot
August 14, 2024 12:52 2m 55s main
main
August 14, 2024 12:52 2m 55s
feat(hugr-py)!: user facing Extension class (#1413) Build and publish docs #49: Commit c6473c9 pushed by github-merge-queue bot
August 14, 2024 12:08 4m 44s main
main
August 14, 2024 12:08 4m 44s
fix: Equality check between Sum types (#1422) Build and publish docs #48: Commit 8dfea09 pushed by github-merge-queue bot
August 13, 2024 14:17 3m 2s main
main
August 13, 2024 14:17 3m 2s