Skip to content

Actions: CQCL/hugr

Release-plz 🦀

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
581 workflow runs
581 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: Insert DFG directly as a funcdefn in Package::from_hugr (#1621)
Release-plz 🦀 #481: Commit c987d2f pushed by github-merge-queue bot
November 5, 2024 11:01 2m 17s main
November 5, 2024 11:01 2m 17s
feat: Operation and constructor declarations in hugr-model (#1605)
Release-plz 🦀 #480: Commit 9962f97 pushed by github-merge-queue bot
October 31, 2024 16:10 2m 14s main
October 31, 2024 16:10 2m 14s
feat: HugrMut::remove_metadata (#1619)
Release-plz 🦀 #479: Commit e4a7965 pushed by github-merge-queue bot
October 31, 2024 09:35 2m 6s main
October 31, 2024 09:35 2m 6s
chore: Fix unused warnings on default features (#1618)
Release-plz 🦀 #478: Commit fed74b5 pushed by github-merge-queue bot
October 29, 2024 10:55 1m 59s main
October 29, 2024 10:55 1m 59s
chore(deps-rs): update jsonschema requirement from 0.24.0 to 0.26.0 i…
Release-plz 🦀 #477: Commit 01b12ea pushed by github-merge-queue bot
October 29, 2024 10:27 1m 59s main
October 29, 2024 10:27 1m 59s
ci: Notify slack when miri checks fail (#1614)
Release-plz 🦀 #476: Commit 87150fa pushed by github-merge-queue bot
October 25, 2024 15:52 35s main
October 25, 2024 15:52 35s
ci: Use reusable coverage-trend workflow (#1615)
Release-plz 🦀 #475: Commit 75a047f pushed by github-merge-queue bot
October 25, 2024 10:19 39s main
October 25, 2024 10:19 39s
chore: Move hugr-model to a separate release group (#1612)
Release-plz 🦀 #474: Commit 8d9da5f pushed by github-merge-queue bot
October 24, 2024 09:54 32s main
October 24, 2024 09:54 32s
ci: Use uv --frozen instead of --locked (#1611)
Release-plz 🦀 #473: Commit 426d3ab pushed by github-merge-queue bot
October 23, 2024 17:37 1m 34s main
October 23, 2024 17:37 1m 34s
fix(py): allow conditional cases to be defined out of order (#1599)
Release-plz 🦀 #472: Commit 583d21d pushed by github-merge-queue bot
October 23, 2024 10:17 32s main
October 23, 2024 10:17 32s
chore: release v0.13.2 (#1588)
Release-plz 🦀 #471: Commit e04fcc5 pushed by github-merge-queue bot
October 22, 2024 15:33 3m 8s main
October 22, 2024 15:33 3m 8s
chore(deps-rs): update jsonschema requirement from 0.23.0 to 0.24.0 i…
Release-plz 🦀 #470: Commit 8c29d98 pushed by github-merge-queue bot
October 22, 2024 09:12 3m 24s main
October 22, 2024 09:12 3m 24s
ci: Don't semver-check if cargo check fails (#1602)
Release-plz 🦀 #469: Commit ea0b204 pushed by github-merge-queue bot
October 22, 2024 07:36 3m 19s main
October 22, 2024 07:36 3m 19s
chore: Unbreak release (#1591)
Release-plz 🦀 #468: Commit 45c3106 pushed by github-merge-queue bot
October 21, 2024 12:48 3m 14s main
October 21, 2024 12:48 3m 14s
feat: Ensure packages always have modules at the root (#1589)
Release-plz 🦀 #467: Commit d349eee pushed by github-merge-queue bot
October 21, 2024 11:02 3m 16s main
October 21, 2024 11:02 3m 16s
ci: Run cargo-semver-checks on PRs (#1598)
Release-plz 🦀 #466: Commit ddca29c pushed by github-merge-queue bot
October 21, 2024 10:47 3m 23s main
October 21, 2024 10:47 3m 23s
docs: Add help docs about semver-checks (#1590)
Release-plz 🦀 #465: Commit c5b597d pushed by github-merge-queue bot
October 18, 2024 16:04 3m 30s main
October 18, 2024 16:04 3m 30s
feat: make errors more readable with Display impls (#1597)
Release-plz 🦀 #464: Commit c79b95b pushed by github-merge-queue bot
October 18, 2024 13:38 3m 18s main
October 18, 2024 13:38 3m 18s
feat: Add filter_edge_kind to PortIterator (#1593)
Release-plz 🦀 #463: Commit 6097391 pushed by github-merge-queue bot
October 18, 2024 10:58 3m 5s main
October 18, 2024 10:58 3m 5s
feat: Render function names in mermaid/dot (#1583)
Release-plz 🦀 #462: Commit 0f6c25a pushed by github-merge-queue bot
October 17, 2024 14:21 2m 51s main
October 17, 2024 14:21 2m 51s
feat: Add Package definition on hugr-core (#1587)
Release-plz 🦀 #461: Commit d899bd3 pushed by github-merge-queue bot
October 17, 2024 14:19 2m 53s main
October 17, 2024 14:19 2m 53s
fix: Allocate ports on root nodes (#1585)
Release-plz 🦀 #460: Commit a66c4b9 pushed by github-merge-queue bot
October 17, 2024 09:55 2m 29s main
October 17, 2024 09:55 2m 29s
chore(deps-rs): update jsonschema requirement from 0.22.3 to 0.23.0 i…
Release-plz 🦀 #459: Commit 2412599 pushed by github-merge-queue bot
October 15, 2024 09:07 2m 8s main
October 15, 2024 09:07 2m 8s
chore: Fix lints from clippy 1.82 (#1580)
Release-plz 🦀 #458: Commit 2b96831 pushed by github-merge-queue bot
October 15, 2024 08:26 2m 22s main
October 15, 2024 08:26 2m 22s
ci: Install capnproto in release-plz ci (#1579)
Release-plz 🦀 #457: Commit cfe78b6 pushed by github-merge-queue bot
October 14, 2024 10:45 28s main
October 14, 2024 10:45 28s