Skip to content

Actions: CQCL/tket2

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
330 workflow runs
330 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(deps-rs): bump the patch group across 1 directory with 5 update… Unsoundness checks #502: Commit 678bdd6 pushed by github-merge-queue bot
March 10, 2025 09:44 21m 56s main
main
March 10, 2025 09:44 21m 56s
chore(tket2-hseries): release v0.10.0 (#791) Unsoundness checks #501: Commit a7bc016 pushed by github-merge-queue bot
March 6, 2025 19:25 18m 24s main
main
March 6, 2025 19:25 18m 24s
chore(py): release tket2-py 0.7.0 (#796) Unsoundness checks #500: Commit f16cf7c pushed by github-merge-queue bot
March 6, 2025 18:53 20m 12s main
main
March 6, 2025 18:53 20m 12s
feat(tket2-py)!: bump tket2_exts constraint (#794) Unsoundness checks #499: Commit 520e950 pushed by github-merge-queue bot
March 6, 2025 18:41 12m 9s main
main
March 6, 2025 18:41 12m 9s
chore(py): release tket2-exts 0.5.1 (#793) Unsoundness checks #498: Commit 7560029 pushed by github-merge-queue bot
March 6, 2025 18:35 6m 14s main
main
March 6, 2025 18:35 6m 14s
feat(tket2-hseries)!: Add order_in_zones extension op (#792) Unsoundness checks #497: Commit 3ec7f5d pushed by github-merge-queue bot
March 6, 2025 17:10 21m 25s main
main
March 6, 2025 17:10 21m 25s
chore(py): release tket2-exts 0.5.0 (#790) Unsoundness checks #496: Commit 007d3ae pushed by github-merge-queue bot
March 6, 2025 16:58 12m 29s main
main
March 6, 2025 16:58 12m 29s
fix!: remove type argument from RNGContext type, swap returns (#786) Unsoundness checks #495: Commit 633ebd7 pushed by github-merge-queue bot
March 4, 2025 13:58 17m 45s main
main
March 4, 2025 13:58 17m 45s
chore: Update to pytket 2 (#787) Unsoundness checks #494: Commit 64b9c64 pushed by github-merge-queue bot
February 28, 2025 14:36 18m 32s main
main
February 28, 2025 14:36 18m 32s
chore: release (#775) Unsoundness checks #493: Commit c89ced7 pushed by github-merge-queue bot
February 25, 2025 12:07 18m 0s main
main
February 25, 2025 12:07 18m 0s
chore: update to hugr 0.14.4 (#785) Unsoundness checks #492: Commit a88aaef pushed by github-merge-queue bot
February 25, 2025 11:38 18m 27s main
main
February 25, 2025 11:38 18m 27s
chore(deps-rs): bump the patch group with 4 updates (#784) Unsoundness checks #491: Commit 2cff11b pushed by github-merge-queue bot
February 24, 2025 07:51 18m 21s main
main
February 24, 2025 07:51 18m 21s
ci: Continuous benchmarking with codspeed.io (#783) Unsoundness checks #490: Commit d4d4afd pushed by github-merge-queue bot
February 21, 2025 17:32 18m 0s main
main
February 21, 2025 17:32 18m 0s
chore(py): release tket2-py 0.6.1 (#776) Unsoundness checks #489: Commit f0c67be pushed by github-merge-queue bot
February 21, 2025 15:50 20m 53s main
main
February 21, 2025 15:50 20m 53s
fix: include RNG extension in tket2-py, bump tket2-exts constraint (#… Unsoundness checks #488: Commit 9eb8897 pushed by github-merge-queue bot
February 21, 2025 15:17 20m 35s main
main
February 21, 2025 15:17 20m 35s
chore(py): release tket2-exts 0.4.0 (#727) Unsoundness checks #487: Commit 244db12 pushed by github-merge-queue bot
February 21, 2025 10:40 18m 27s main
main
February 21, 2025 10:40 18m 27s
feat: add "tket2.qsystem.random" extension (#779) Unsoundness checks #486: Commit f4901ee pushed by github-merge-queue bot
February 20, 2025 18:06 19m 9s main
main
February 20, 2025 18:06 19m 9s
feat: add a tket2.qsystem.utils extension with GetCurrentShot (#772) Unsoundness checks #485: Commit 175a02d pushed by github-merge-queue bot
February 18, 2025 15:04 20m 17s main
main
February 18, 2025 15:04 20m 17s
chore(deps-rs): bump clap from 4.5.28 to 4.5.29 in the patch group (#… Unsoundness checks #484: Commit 5ec097f pushed by github-merge-queue bot
February 17, 2025 13:14 18m 22s main
main
February 17, 2025 13:14 18m 22s
chore: release (#745) Unsoundness checks #483: Commit c20dc2b pushed by github-merge-queue bot
February 12, 2025 14:18 19m 22s main
main
February 12, 2025 14:18 19m 22s
fix: nondeterminism in lazify-measure (#766) Unsoundness checks #482: Commit d2ad66d pushed by github-merge-queue bot
February 12, 2025 13:41 19m 31s main
main
February 12, 2025 13:41 19m 31s
chore(deps-rs): bump downcast-rs from 1.2.1 to 2.0.1 (#770) Unsoundness checks #481: Commit 0e78663 pushed by github-merge-queue bot
February 10, 2025 10:15 19m 40s main
main
February 10, 2025 10:15 19m 40s
chore(deps-rs): bump itertools from 0.13.0 to 0.14.0 in the minor gro… Unsoundness checks #480: Commit d4d5366 pushed by github-merge-queue bot
February 10, 2025 10:10 5m 4s main
main
February 10, 2025 10:10 5m 4s
chore(deps-rs): bump the patch group with 3 updates (#768) Unsoundness checks #479: Commit 977cb3a pushed by github-merge-queue bot
February 10, 2025 10:03 7m 22s main
main
February 10, 2025 10:03 7m 22s
chore!: Update hugr 0.14.3, portgraph 0.13.1, and `petgraph 0.7.1… Unsoundness checks #478: Commit 881e5bc pushed by github-merge-queue bot
February 5, 2025 15:28 20m 30s main
main
February 5, 2025 15:28 20m 30s