Skip to content

Actions: CQCL/tket2

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
416 workflow runs
416 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 In progress main
main
October 28, 2024 09:09 In progress
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
chore(py): release tket2-py 0.4.1 (#641) Unsoundness checks #407: Commit aeb2839 pushed by github-merge-queue bot
October 10, 2024 17:02 17m 6s main
main
October 10, 2024 17:02 17m 6s
chore(py): release tket2-eccs 0.2.0 (#537) Unsoundness checks #406: Commit 18e876b pushed by github-merge-queue bot
October 10, 2024 16:48 15m 16s main
main
October 10, 2024 16:48 15m 16s
feat!: Update compiled ECCs to hugr-rs 0.13 (#647) Unsoundness checks #405: Commit 6919ab5 pushed by github-merge-queue bot
October 10, 2024 16:19 17m 3s main
main
October 10, 2024 16:19 17m 3s
feat: Decode pytket op parameters (#644) Unsoundness checks #404: Commit ccf53b5 pushed by github-merge-queue bot
October 10, 2024 08:16 18m 18s main
main
October 10, 2024 08:16 18m 18s
feat!: update to hugr 0.13.0 (#645) Unsoundness checks #403: Commit a837837 pushed by github-merge-queue bot
October 9, 2024 15:12 16m 24s main
main
October 9, 2024 15:12 16m 24s
chore: devenv update (#643) Unsoundness checks #402: Commit 0d8c392 pushed by github-merge-queue bot
October 9, 2024 12:31 17m 25s main
main
October 9, 2024 12:31 17m 25s
feat: Add tket2.rotation.from_halfturns_unchecked op (#640) Unsoundness checks #401: Commit 86ffe64 pushed by github-merge-queue bot
October 8, 2024 10:57 15m 40s main
main
October 8, 2024 10:57 15m 40s
chore(deps-rs): bump clap from 4.5.18 to 4.5.19 in the patch group (#… Unsoundness checks #400: Commit 2cf79fd pushed by github-merge-queue bot
October 7, 2024 07:51 17m 42s main
main
October 7, 2024 07:51 17m 42s