Skip to content

Actions: CQCL/tket2

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
237 workflow run results
237 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: Fix py coverage not getting uploaded (#689) Unsoundness checks #432: Commit 5cd934b pushed by github-merge-queue bot
November 6, 2024 17:10 18m 27s main
main
November 6, 2024 17:10 18m 27s
ci: Fix ci error on pure-wheels run for unchanged packages (#687) Unsoundness checks #431: Commit 81c8dfa pushed by github-merge-queue bot
November 5, 2024 16:00 22m 26s main
main
November 5, 2024 16:00 22m 26s
chore(py): release tket2-exts 0.1.1 (#683) Unsoundness checks #430: Commit 23fb63c pushed by github-merge-queue bot
November 5, 2024 15:38 22m 19s main
main
November 5, 2024 15:38 22m 19s
docs: docstring capitalisation (#686) Unsoundness checks #429: Commit e18f921 pushed by github-merge-queue bot
November 5, 2024 15:26 11m 48s main
main
November 5, 2024 15:26 11m 48s
feat: add exts to release manifest (#685) Unsoundness checks #428: Commit 9807b42 pushed by github-merge-queue bot
November 5, 2024 15:11 15m 43s main
main
November 5, 2024 15:11 15m 43s
refactor: setup pypi trusted publishing (#684) Unsoundness checks #427: Commit 8c29abc pushed by github-merge-queue bot
November 5, 2024 14:47 16m 57s main
main
November 5, 2024 14:47 16m 57s
feat: move extensions to auxillary package (#682) Unsoundness checks #426: Commit dd78f9a pushed by github-merge-queue bot
November 5, 2024 13:37 17m 7s main
main
November 5, 2024 13:37 17m 7s
chore(deps-rs): bump serde from 1.0.213 to 1.0.214 in the patch group… Unsoundness checks #425: Commit 3b4b020 pushed by github-merge-queue bot
November 4, 2024 10:30 18m 36s main
main
November 4, 2024 10:30 18m 36s
chore(deps-rs): bump the patch group with 2 updates (#679) Unsoundness checks #424: Commit 4558e06 pushed by github-merge-queue bot
October 28, 2024 09:09 17m 6s main
main
October 28, 2024 09:09 17m 6s
chore(py): Support python 3.13 (#678) Unsoundness checks #423: Commit e68a58c pushed by github-merge-queue bot
October 24, 2024 14:59 16m 53s main
main
October 24, 2024 14:59 16m 53s
ci: Use uv --frozen instead of --locked (#677) Unsoundness checks #422: Commit 6bba509 pushed by github-merge-queue bot
October 23, 2024 17:15 29m 35s main
main
October 23, 2024 17:15 29m 35s
ci: Run cargo-semver-checks on PRs (#670) Unsoundness checks #421: Commit ab4e006 pushed by github-merge-queue bot
October 23, 2024 11:01 17m 7s main
main
October 23, 2024 11:01 17m 7s
chore: Update to hugr 0.13.2, fix deprecation warnings (#669) Unsoundness checks #420: Commit 2226fed pushed by github-merge-queue bot
October 23, 2024 09:58 17m 15s main
main
October 23, 2024 09:58 17m 15s
chore: Update to tket-json-rs 0.6 and pyo3 0.22 (#668) Unsoundness checks #419: Commit 6a31663 pushed by github-merge-queue bot
October 22, 2024 09:48 17m 29s main
main
October 22, 2024 09:48 17m 29s
chore(deps-rs): bump serde_json from 1.0.128 to 1.0.132 in the patch … Unsoundness checks #418: Commit ed8d3d4 pushed by github-merge-queue bot
October 21, 2024 07:18 18m 24s main
main
October 21, 2024 07:18 18m 24s
chore: update tket2-py to hugr-py 0.9 (#663) Unsoundness checks #417: Commit 740b3ec pushed by github-merge-queue bot
October 15, 2024 16:12 17m 5s main
main
October 15, 2024 16:12 17m 5s
chore: release v0.6.0 (#626) Unsoundness checks #416: Commit 97df4c5 pushed by github-merge-queue bot
October 15, 2024 10:20 17m 1s main
main
October 15, 2024 10:20 17m 1s
refactor!: Remove deprecated exports (#662) Unsoundness checks #415: Commit f27ecc3 pushed by github-merge-queue bot
October 15, 2024 09:56 16m 48s main
main
October 15, 2024 09:56 16m 48s
feat: Extract pytket parameters to input wires (#661) Unsoundness checks #414: Commit f1d68bc pushed by github-merge-queue bot
October 15, 2024 09:13 18m 20s main
main
October 15, 2024 09:13 18m 20s
chore(deps-rs)!: Update hugr to 0.13.1 (#660) Unsoundness checks #413: Commit d42842d pushed by github-merge-queue bot
October 14, 2024 14:45 17m 5s main
main
October 14, 2024 14:45 17m 5s
ci: Ensure we're using the right py version when testing on CI (#655) Unsoundness checks #412: Commit 994153e pushed by github-merge-queue bot
October 14, 2024 12:10 17m 22s main
main
October 14, 2024 12:10 17m 22s
revert: "Support python 3.13 (#653)" (#657) Unsoundness checks #411: Commit 3fb67ac pushed by github-merge-queue bot
October 14, 2024 11:38 16m 55s main
main
October 14, 2024 11:38 16m 55s
chore(deps-rs): bump bytemuck from 1.18.0 to 1.19.0 in the minor grou… Unsoundness checks #410: Commit 43e1eb2 pushed by github-merge-queue bot
October 14, 2024 09:10 19m 2s main
main
October 14, 2024 09:10 19m 2s
chore(py): Support python 3.13 (#653) Unsoundness checks #409: Commit d8b5150 pushed by github-merge-queue bot
October 11, 2024 14:51 16m 40s main
main
October 11, 2024 14:51 16m 40s
feat: re-export hugr crate (#652) Unsoundness checks #408: Commit c13277b pushed by github-merge-queue bot
October 11, 2024 12:30 17m 1s main
main
October 11, 2024 12:30 17m 1s