Skip to content

Actions: CQCL/hugr

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
526 workflow run results
526 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat!: define wrappers around package that point to internals (#1573) Unsoundness checks #810: Commit f74dbf3 pushed by github-merge-queue bot
October 11, 2024 14:31 1m 29s main
main
October 11, 2024 14:31 1m 29s
feat: Binary serialisation format for hugr-model based on capnproto. … Unsoundness checks #809: Commit d03b91e pushed by github-merge-queue bot
October 11, 2024 11:26 1m 44s main
main
October 11, 2024 11:26 1m 44s
chore(ci): Bundle crates under the same version_group (#1572) Unsoundness checks #808: Commit 4f0e272 pushed by github-merge-queue bot
October 11, 2024 11:14 11m 52s main
main
October 11, 2024 11:14 11m 52s
chore(ci): Inline cliff config into release-plz toml (#1571) Unsoundness checks #807: Commit 2f7d02c pushed by github-merge-queue bot
October 11, 2024 10:37 37m 46s main
main
October 11, 2024 10:37 37m 46s
docs: Try to not repeat ourselves in the spec for CFGs (#1565) Unsoundness checks #806: Commit 8227387 pushed by github-merge-queue bot
October 10, 2024 12:58 51m 39s main
main
October 10, 2024 12:58 51m 39s
feat: return replaced ops from lowering (#1568) Unsoundness checks #805: Commit a725a29 pushed by github-merge-queue bot
October 9, 2024 15:15 55m 4s main
main
October 9, 2024 15:15 55m 4s
ci: Enable release-plz for hugr-model (#1566) Unsoundness checks #804: Commit 274a886 pushed by github-merge-queue bot
October 9, 2024 14:44 32m 0s main
main
October 9, 2024 14:44 32m 0s
chore: specifcy hugr-model version (#1563) Unsoundness checks #803: Commit cf7593a pushed by github-merge-queue bot
October 9, 2024 12:50 51m 18s main
main
October 9, 2024 12:50 51m 18s
feat: Make BuildHandle::num_value_outputs public (#1560) Unsoundness checks #802: Commit 3b03f2c pushed by github-merge-queue bot
October 8, 2024 16:51 48m 59s main
main
October 8, 2024 16:51 48m 59s
chore: devenv update (#1559) Unsoundness checks #801: Commit 3345700 pushed by github-merge-queue bot
October 8, 2024 14:04 53m 25s main
main
October 8, 2024 14:04 53m 25s
chore: release (#1522) Unsoundness checks #800: Commit 307937e pushed by github-merge-queue bot
October 8, 2024 12:58 48m 41s main
main
October 8, 2024 12:58 48m 41s
chore(deps-rs): update jsonschema requirement from 0.21.0 to 0.22.3 i… Unsoundness checks #799: Commit c314c91 pushed by github-merge-queue bot
October 8, 2024 08:21 52m 49s main
main
October 8, 2024 08:21 52m 49s
feat: Draft for hugr-model with export, import, parsing and pretty … Unsoundness checks #798: Commit a2e92e8 pushed by github-merge-queue bot
October 7, 2024 15:09 50m 23s main
main
October 7, 2024 15:09 50m 23s
ci: Use setup-uv action (#1552) Unsoundness checks #797: Commit fc3efe5 pushed by github-merge-queue bot
October 4, 2024 09:19 46m 6s main
main
October 4, 2024 09:19 46m 6s
chore(deps-rs): bump the minor group with 2 updates (#1539) Unsoundness checks #796: Commit cd74ba7 pushed by github-merge-queue bot
October 4, 2024 08:30 45m 12s main
main
October 4, 2024 08:30 45m 12s
fix!: Make list length op give back the list (#1547) Unsoundness checks #795: Commit cf31698 pushed by github-merge-queue bot
October 3, 2024 12:10 48m 19s main
main
October 3, 2024 12:10 48m 19s
feat!: HugrMut::remove_node and SimpleReplacement return removed … Unsoundness checks #794: Commit ea8e818 pushed by github-merge-queue bot
October 2, 2024 09:00 49m 12s main
main
October 2, 2024 09:00 49m 12s
feat: Add an OpLoadError variant of BuildError. (#1537) Unsoundness checks #793: Commit e45ab5d pushed by github-merge-queue bot
October 1, 2024 15:49 46m 8s main
main
October 1, 2024 15:49 46m 8s
ci(deps): bump mozilla-actions/sccache-action from 0.0.5 to 0.0.6 (#1… Unsoundness checks #792: Commit 92f18e7 pushed by github-merge-queue bot
October 1, 2024 07:42 48m 32s main
main
October 1, 2024 07:42 48m 32s
chore(deps-rs): bump the minor group across 1 directory with 2 update… Unsoundness checks #791: Commit e5c2486 pushed by github-merge-queue bot
September 25, 2024 14:21 51m 48s main
main
September 25, 2024 14:21 51m 48s
feat!: Allow CustomConsts to (optionally) be hashable (#1397) Unsoundness checks #790: Commit 07b2f58 pushed by github-merge-queue bot
September 11, 2024 14:03 44m 20s main
main
September 11, 2024 14:03 44m 20s
chore(deps-py): update pydantic requirement from <2.9,>=2.8 to >=2.8,… Unsoundness checks #789: Commit 123321e pushed by github-merge-queue bot
September 11, 2024 09:51 42m 54s main
main
September 11, 2024 09:51 42m 54s
chore: release (#1504) Unsoundness checks #788: Commit 6bf6c82 pushed by github-merge-queue bot
September 4, 2024 09:52 40m 34s main
main
September 4, 2024 09:52 40m 34s
chore(main): release hugr-py 0.8.1 (#1505) Unsoundness checks #787: Commit 6059f64 pushed by github-merge-queue bot
September 4, 2024 09:51 1m 20s main
main
September 4, 2024 09:51 1m 20s
feat(hugr-cli)!: Add Package::validate and return `ExtensionRegistr… Unsoundness checks #786: Commit f3dafd7 pushed by github-merge-queue bot
September 4, 2024 09:36 15m 4s main
main
September 4, 2024 09:36 15m 4s