Skip to content

Actions: CQCL/hugr

Actions

Build and publish docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
91 workflow runs
91 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(hugr-py): add type_bound method to Type (#1410) Build and publish docs #41: Commit bd5ba47 pushed by github-merge-queue bot
August 9, 2024 08:59 2m 37s main
main
August 9, 2024 08:59 2m 37s
feat(py): Set node output# for dfgs and cfgs (#1400) Build and publish docs #40: Commit c5d1a74 pushed by github-merge-queue bot
August 8, 2024 15:56 2m 40s main
main
August 8, 2024 15:56 2m 40s
feat(py): implement iter on ToNode (#1399) Build and publish docs #39: Commit e88910b pushed by github-merge-queue bot
August 8, 2024 15:29 2m 42s main
main
August 8, 2024 15:29 2m 42s
feat: Define Const inline by default, and add a parameter to change… Build and publish docs #38: Commit 3609736 pushed by github-merge-queue bot
August 8, 2024 13:44 2m 56s main
main
August 8, 2024 13:44 2m 56s
fix(py): Hugr.__iter__ returning NodeData | None instead of `Node… Build and publish docs #37: Commit c134584 pushed by github-merge-queue bot
August 8, 2024 12:03 2m 39s main
main
August 8, 2024 12:03 2m 39s
feat(hugr-py)!: Reexport commonly used classes from the package root … Build and publish docs #36: Commit 69925d0 pushed by github-merge-queue bot
August 5, 2024 14:39 2m 44s main
main
August 5, 2024 14:39 2m 44s
feat(hugr-py): Allow defining functions, consts, and aliases inside D… Build and publish docs #35: Commit d554072 pushed by github-merge-queue bot
August 2, 2024 16:04 2m 51s main
main
August 2, 2024 16:04 2m 51s
feat(hugr-cli)!: move mermaid to own sub-command (#1390) Build and publish docs #34: Commit 77795b9 pushed by github-merge-queue bot
August 2, 2024 12:54 2m 51s main
main
August 2, 2024 12:54 2m 51s
feat: Package pydantic model for modules + extensions (#1387) Build and publish docs #33: Commit 68cfac5 pushed by github-merge-queue bot
August 1, 2024 14:00 2m 53s main
main
August 1, 2024 14:00 2m 53s
docs(hugr-py): remove multiversion + add justfile command (#1381) Build and publish docs #32: Commit dd1dc48 pushed by github-merge-queue bot
July 31, 2024 08:08 2m 38s main
main
July 31, 2024 08:08 2m 38s
Build and publish docs Build and publish docs #31: Manually run by ss2165
July 30, 2024 10:47 2m 26s ss/no-multiv
ss/no-multiv
July 30, 2024 10:47 2m 26s
feat!: Serialised extensions (#1371) Build and publish docs #30: Commit 31be204 pushed by github-merge-queue bot
July 30, 2024 10:19 10m 19s main
main
July 30, 2024 10:19 10m 19s
chore(main): release hugr-py 0.5.0 (#1291) Build and publish docs #29: Commit c72e288 pushed by github-merge-queue bot
July 29, 2024 12:09 7m 59s main
main
July 29, 2024 12:09 7m 59s
feat!: remove the Eq type bound. (#1364) Build and publish docs #28: Commit 1218d21 pushed by github-merge-queue bot
July 26, 2024 14:25 7m 37s main
main
July 26, 2024 14:25 7m 37s
fix(hugr-core)!: bump serialisation version with no upgrade path (#1352) Build and publish docs #27: Commit 657cbb0 pushed by github-merge-queue bot
July 26, 2024 14:04 7m 31s main
main
July 26, 2024 14:04 7m 31s
refactor(py): NodeIdx and PortOffset aliases for int (#1339) Build and publish docs #26: Commit 67374ca pushed by github-merge-queue bot
July 24, 2024 15:31 8m 4s main
main
July 24, 2024 15:31 8m 4s
feat!: replace opaque type arguments with String (#1328) Build and publish docs #25: Commit 24b2217 pushed by github-merge-queue bot
July 24, 2024 14:48 9m 26s main
main
July 24, 2024 14:48 9m 26s
chore(deps-py): bump sphinx from 7.3.7 to 7.4.7 in /hugr-py (#1334) Build and publish docs #24: Commit dbb3232 pushed by github-merge-queue bot
July 23, 2024 09:17 7m 42s main
main
July 23, 2024 09:17 7m 42s
feat: Serialization upgrade path (#1327) Build and publish docs #23: Commit d493139 pushed by github-merge-queue bot
July 22, 2024 14:50 7m 42s main
main
July 22, 2024 14:50 7m 42s
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