Skip to content

Actions: CQCL/hugr

Actions

Release-please 🐍

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release-please.yml
404 workflow runs
404 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Add SiblingSubgraph::from_node (#1655) Release-please 🐍 #404: Commit c2c5752 pushed by github-merge-queue bot
November 15, 2024 12:08 32s main
main
November 15, 2024 12:08 32s
perf: Faster singleton SiblingSubgraph construction (#1654) Release-please 🐍 #403: Commit e63878f pushed by github-merge-queue bot
November 13, 2024 15:53 30s main
main
November 13, 2024 15:53 30s
ci: fix miri checks (#1651) Release-please 🐍 #402: Commit 0c430d1 pushed by github-merge-queue bot
November 13, 2024 11:11 27s main
main
November 13, 2024 11:11 27s
feat: Export/import of JSON metadata (#1622) Release-please 🐍 #401: Commit 935c61b pushed by github-merge-queue bot
November 13, 2024 10:17 33s main
main
November 13, 2024 10:17 33s
ci: Fix trusted pypi publish job (#1648) Release-please 🐍 #400: Commit 36bbbcf pushed by github-merge-queue bot
November 12, 2024 17:32 40s main
main
November 12, 2024 17:32 40s
chore: Fix unsoundness tests (#1643) Release-please 🐍 #399: Commit 5562c91 pushed by github-merge-queue bot
November 8, 2024 09:14 27s main
main
November 8, 2024 09:14 27s
ci: Fix unsoundness notification (#1641) Release-please 🐍 #398: Commit 3a297d5 pushed by github-merge-queue bot
November 7, 2024 15:04 39s main
main
November 7, 2024 15:04 39s
chore: release (#1617) Release-please 🐍 #397: Commit f6c1572 pushed by github-merge-queue bot
November 6, 2024 13:56 32s main
main
November 6, 2024 13:56 32s
fix: Update number of ports for PartialOps, and sanitize orderd edges… Release-please 🐍 #396: Commit 81a1385 pushed by github-merge-queue bot
November 6, 2024 13:35 37s main
main
November 6, 2024 13:35 37s
ci: use trusted publishers for pypi publishing (#1634) Release-please 🐍 #395: Commit bf9d58b pushed by github-merge-queue bot
November 5, 2024 16:19 33s main
main
November 5, 2024 16:19 33s
feat: Add TailLoop::BREAK_TAG and CONTINUE_TAG (#1626) Release-please 🐍 #394: Commit f2ae52e pushed by github-merge-queue bot
November 5, 2024 11:52 25s main
main
November 5, 2024 11:52 25s
fix: Insert DFG directly as a funcdefn in Package::from_hugr (#1621) Release-please 🐍 #393: Commit c987d2f pushed by github-merge-queue bot
November 5, 2024 11:01 29s main
main
November 5, 2024 11:01 29s
feat: Operation and constructor declarations in hugr-model (#1605) Release-please 🐍 #392: Commit 9962f97 pushed by github-merge-queue bot
October 31, 2024 16:10 33s main
main
October 31, 2024 16:10 33s
feat: HugrMut::remove_metadata (#1619) Release-please 🐍 #391: Commit e4a7965 pushed by github-merge-queue bot
October 31, 2024 09:35 34s main
main
October 31, 2024 09:35 34s
chore: Fix unused warnings on default features (#1618) Release-please 🐍 #390: Commit fed74b5 pushed by github-merge-queue bot
October 29, 2024 10:55 26s main
main
October 29, 2024 10:55 26s
chore(deps-rs): update jsonschema requirement from 0.24.0 to 0.26.0 i… Release-please 🐍 #389: Commit 01b12ea pushed by github-merge-queue bot
October 29, 2024 10:27 36s main
main
October 29, 2024 10:27 36s
ci: Notify slack when miri checks fail (#1614) Release-please 🐍 #388: Commit 87150fa pushed by github-merge-queue bot
October 25, 2024 15:52 25s main
main
October 25, 2024 15:52 25s
ci: Use reusable coverage-trend workflow (#1615) Release-please 🐍 #387: Commit 75a047f pushed by github-merge-queue bot
October 25, 2024 10:19 26s main
main
October 25, 2024 10:19 26s
chore: Move hugr-model to a separate release group (#1612) Release-please 🐍 #386: Commit 8d9da5f pushed by github-merge-queue bot
October 24, 2024 09:54 25s main
main
October 24, 2024 09:54 25s
ci: Use uv --frozen instead of --locked (#1611) Release-please 🐍 #385: Commit 426d3ab pushed by github-merge-queue bot
October 23, 2024 17:37 25s main
main
October 23, 2024 17:37 25s
fix(py): allow conditional cases to be defined out of order (#1599) Release-please 🐍 #384: Commit 583d21d pushed by github-merge-queue bot
October 23, 2024 10:17 27s main
main
October 23, 2024 10:17 27s
chore: release v0.13.2 (#1588) Release-please 🐍 #383: Commit e04fcc5 pushed by github-merge-queue bot
October 22, 2024 15:33 20s main
main
October 22, 2024 15:33 20s
chore(deps-rs): update jsonschema requirement from 0.23.0 to 0.24.0 i… Release-please 🐍 #382: Commit 8c29d98 pushed by github-merge-queue bot
October 22, 2024 09:12 19s main
main
October 22, 2024 09:12 19s
ci: Don't semver-check if cargo check fails (#1602) Release-please 🐍 #381: Commit ea0b204 pushed by github-merge-queue bot
October 22, 2024 07:36 18s main
main
October 22, 2024 07:36 18s
chore: Unbreak release (#1591) Release-please 🐍 #380: Commit 45c3106 pushed by github-merge-queue bot
October 21, 2024 12:48 22s main
main
October 21, 2024 12:48 22s