Skip to content

Actions: CQCL/hugr

Release-plz 🦀

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
356 workflow run results
356 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(main): release hugr-py 0.3.1 (#1264)
Release-plz 🦀 #281: Commit 7bb4130 pushed by github-merge-queue bot
July 8, 2024 15:36 26s main
July 8, 2024 15:36 26s
feat(hugr-py): context manager style nested building (#1276)
Release-plz 🦀 #280: Commit 6b32734 pushed by github-merge-queue bot
July 8, 2024 15:23 16s main
July 8, 2024 15:23 16s
fix!: ops::Module now empty struct rather than unit struct (#1271)
Release-plz 🦀 #279: Commit 8ccd3aa pushed by github-merge-queue bot
July 8, 2024 14:21 20s main
July 8, 2024 14:21 20s
fix: bring back input_extensions serialized field in rust NodeSer (#1…
Release-plz 🦀 #278: Commit bbff0c9 pushed by github-merge-queue bot
July 8, 2024 12:56 2m 34s main
July 8, 2024 12:56 2m 34s
feat!: MakeOpDef has new extension method. (#1266)
Release-plz 🦀 #277: Commit 75192f7 pushed by github-merge-queue bot
July 8, 2024 12:32 2m 36s main
July 8, 2024 12:32 2m 36s
chore(deps-py): update pydantic requirement from ~2.7.0 to >=2.7,<2.9…
Release-plz 🦀 #276: Commit cdc3739 pushed by github-merge-queue bot
July 8, 2024 09:15 3m 3s main
July 8, 2024 09:15 3m 3s
chore(deps-py): bump certifi from 2024.6.2 to 2024.7.4 in /hugr-py in…
Release-plz 🦀 #275: Commit bdcbcd3 pushed by github-merge-queue bot
July 8, 2024 08:45 2m 42s main
July 8, 2024 08:45 2m 42s
refactor!: rename HugrView function type methods + simplify behavio…
Release-plz 🦀 #274: Commit defd2bb pushed by github-merge-queue bot
July 5, 2024 14:09 2m 43s main
July 5, 2024 14:09 2m 43s
chore: Update portgraph to 0.12.2 (#1263)
Release-plz 🦀 #273: Commit bf551a6 pushed by github-merge-queue bot
July 5, 2024 14:03 2m 38s main
July 5, 2024 14:03 2m 38s
feat(hugr-py): IndexDfg builder for appending operations by index (…
Release-plz 🦀 #272: Commit df9b4cc pushed by github-merge-queue bot
July 5, 2024 10:00 2m 45s main
July 5, 2024 10:00 2m 45s
chore: docs fetch all tags (#1261)
Release-plz 🦀 #271: Commit 361e01c pushed by github-merge-queue bot
July 3, 2024 15:55 2m 34s main
July 3, 2024 15:55 2m 34s
chore(main): release hugr-py 0.3.0 (#1092)
Release-plz 🦀 #270: Commit 004b6c1 pushed by github-merge-queue bot
July 3, 2024 14:53 2m 25s main
July 3, 2024 14:53 2m 25s
test: Add a test for #1257 (#1260)
Release-plz 🦀 #269: Commit e596b39 pushed by github-merge-queue bot
July 3, 2024 14:44 2m 29s main
July 3, 2024 14:44 2m 29s
refactor!: remove Value::Tuple (#1255)
Release-plz 🦀 #268: Commit b965202 pushed by github-merge-queue bot
July 3, 2024 14:05 2m 33s main
July 3, 2024 14:05 2m 33s
docs(hugr-py): add docs link to README (#1259)
Release-plz 🦀 #267: Commit d2a9148 pushed by github-merge-queue bot
July 3, 2024 13:41 2m 24s main
July 3, 2024 13:41 2m 24s
chore: docs build needs poetry (#1258)
Release-plz 🦀 #266: Commit eb88084 pushed by github-merge-queue bot
July 3, 2024 11:27 2m 26s main
July 3, 2024 11:27 2m 26s
docs(hugr-py): build and publish docs (#1253)
Release-plz 🦀 #265: Commit 902fc14 pushed by github-merge-queue bot
July 3, 2024 08:52 2m 49s main
July 3, 2024 08:52 2m 49s
style: Change "serialise" etc to "serialize" etc. (#1251)
Release-plz 🦀 #264: Commit 8f08b8c pushed by github-merge-queue bot
July 2, 2024 09:23 2m 35s main
July 2, 2024 09:23 2m 35s
docs(hugr-py): docstrings for builder (#1231)
Release-plz 🦀 #263: Commit 3e4ac18 pushed by github-merge-queue bot
July 2, 2024 07:52 2m 1s main
July 2, 2024 07:52 2m 1s
ci: Tell miri to ignore tests that open files. (#1249)
Release-plz 🦀 #262: Commit 97784ad pushed by github-merge-queue bot
July 1, 2024 14:09 2m 2s main
July 1, 2024 14:09 2m 2s
chore: some typos found using typos cli (#1247)
Release-plz 🦀 #261: Commit b478b20 pushed by github-merge-queue bot
July 1, 2024 11:10 1m 57s main
July 1, 2024 11:10 1m 57s
fix(hugr-py): more ruff lints + fix some typos (#1246)
Release-plz 🦀 #260: Commit f158384 pushed by github-merge-queue bot
July 1, 2024 10:25 23s main
July 1, 2024 10:25 23s
chore: release (#1240)
Release-plz 🦀 #259: Commit 7dadadf pushed by github-merge-queue bot
July 1, 2024 09:13 2m 42s main
July 1, 2024 09:13 2m 42s
fix: extract_hugr not removing root node ports (#1239)
Release-plz 🦀 #258: Commit 4c6c8cd pushed by github-merge-queue bot
June 28, 2024 10:57 2m 35s main
June 28, 2024 10:57 2m 35s
refactor: cleanups from writing docstring (#1232)
Release-plz 🦀 #257: Commit 80b8a85 pushed by github-merge-queue bot
June 28, 2024 08:48 2m 29s main
June 28, 2024 08:48 2m 29s