Skip to content

Actions: CQCL/hugr

Release-please 🐍

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
496 workflow runs
496 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
October 21, 2024 12:48 22s
feat: Ensure packages always have modules at the root (#1589)
Release-please 🐍 #379: Commit d349eee pushed by github-merge-queue bot
October 21, 2024 11:02 18s main
October 21, 2024 11:02 18s
ci: Run cargo-semver-checks on PRs (#1598)
Release-please 🐍 #378: Commit ddca29c pushed by github-merge-queue bot
October 21, 2024 10:47 20s main
October 21, 2024 10:47 20s
docs: Add help docs about semver-checks (#1590)
Release-please 🐍 #377: Commit c5b597d pushed by github-merge-queue bot
October 18, 2024 16:04 20s main
October 18, 2024 16:04 20s
feat: make errors more readable with Display impls (#1597)
Release-please 🐍 #376: Commit c79b95b pushed by github-merge-queue bot
October 18, 2024 13:38 19s main
October 18, 2024 13:38 19s
feat: Add filter_edge_kind to PortIterator (#1593)
Release-please 🐍 #375: Commit 6097391 pushed by github-merge-queue bot
October 18, 2024 10:58 18s main
October 18, 2024 10:58 18s
feat: Render function names in mermaid/dot (#1583)
Release-please 🐍 #374: Commit 0f6c25a pushed by github-merge-queue bot
October 17, 2024 14:21 23s main
October 17, 2024 14:21 23s
feat: Add Package definition on hugr-core (#1587)
Release-please 🐍 #373: Commit d899bd3 pushed by github-merge-queue bot
October 17, 2024 14:19 17s main
October 17, 2024 14:19 17s
fix: Allocate ports on root nodes (#1585)
Release-please 🐍 #372: Commit a66c4b9 pushed by github-merge-queue bot
October 17, 2024 09:55 21s main
October 17, 2024 09:55 21s