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

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
feat: force-order qfree early and qalloc late. (#762) Unsoundness checks #477: Commit 68ef624 pushed by github-merge-queue bot
February 5, 2025 15:25 3m 37s main
main
February 5, 2025 15:25 3m 37s
chore: Run ci on all PRs (#764) Unsoundness checks #476: Commit 5fb1d75 pushed by github-merge-queue bot
February 5, 2025 10:53 18m 38s main
main
February 5, 2025 10:53 18m 38s
chore(deps-rs): bump the patch group with 2 updates (#760) Unsoundness checks #475: Commit fd1450c pushed by github-merge-queue bot
February 3, 2025 09:31 18m 53s main
main
February 3, 2025 09:31 18m 53s
fix: Use RemoveDeadFuncsPass instead of deprecated `remove_polyfunc… Unsoundness checks #474: Commit d59bdaa pushed by github-merge-queue bot
January 27, 2025 16:46 19m 57s main
main
January 27, 2025 16:46 19m 57s
chore(deps-rs): bump the patch group with 6 updates (#752) Unsoundness checks #473: Commit b5f5669 pushed by github-merge-queue bot
January 20, 2025 10:37 18m 56s main
main
January 20, 2025 10:37 18m 56s
ci(deps): bump astral-sh/setup-uv from 4 to 5 (#751) Unsoundness checks #472: Commit 1deb392 pushed by github-merge-queue bot
January 20, 2025 08:09 19m 20s main
main
January 20, 2025 08:09 19m 20s
feat(tket2-hseries): Add tket2.wasm extension (#737) Unsoundness checks #471: Commit 34bdc21 pushed by github-merge-queue bot
January 16, 2025 17:10 19m 59s main
main
January 16, 2025 17:10 19m 59s
chore(deps-rs): bump bytemuck from 1.20.0 to 1.21.0 in the minor grou… Unsoundness checks #470: Commit 0c0b238 pushed by github-merge-queue bot
January 13, 2025 15:06 18m 54s main
main
January 13, 2025 15:06 18m 54s
chore: release (#733) Unsoundness checks #469: Commit 19c99de pushed by github-merge-queue bot
January 10, 2025 17:50 20m 35s main
main
January 10, 2025 17:50 20m 35s
feat(tket2-hseries): Lazify more flavours of measure ops (#742) Unsoundness checks #468: Commit f83db21 pushed by github-merge-queue bot
January 10, 2025 17:40 10m 29s main
main
January 10, 2025 17:40 10m 29s
feat(tket2-hseries)!: Redefine QSystemOp::LazyMeasure and introduce… Unsoundness checks #467: Commit 1f126c0 pushed by github-merge-queue bot
January 10, 2025 17:09 18m 58s main
main
January 10, 2025 17:09 18m 58s
chore: devenv update (#744) Unsoundness checks #466: Commit 5a69e23 pushed by github-merge-queue bot
January 10, 2025 14:09 17m 59s main
main
January 10, 2025 14:09 17m 59s
fix: remove unicode pi symbols in rotation extension (#743) Unsoundness checks #465: Commit b3ed351 pushed by github-merge-queue bot
January 9, 2025 09:05 19m 42s main
main
January 9, 2025 09:05 19m 42s
chore(deps-rs): bump the patch group with 2 updates (#735) Unsoundness checks #464: Commit 0c6101b pushed by github-merge-queue bot
December 23, 2024 08:09 18m 6s main
main
December 23, 2024 08:09 18m 6s
chore: Drop viz_hugr test utils (#734) Unsoundness checks #463: Commit 5cf93af pushed by github-merge-queue bot
December 18, 2024 17:03 17m 13s main
main
December 18, 2024 17:03 17m 13s
chore: release v0.7.1 (#731) Unsoundness checks #462: Commit 51a1424 pushed by github-merge-queue bot
December 18, 2024 16:42 20m 48s main
main
December 18, 2024 16:42 20m 48s
chore: use MonomorphizationPass (#732) Unsoundness checks #461: Commit d581a8c pushed by github-merge-queue bot
December 18, 2024 16:24 17m 51s main
main
December 18, 2024 16:24 17m 51s
feat: Add monomorphization and constant folding to QSystemPass (#730) Unsoundness checks #460: Commit aafd73c pushed by github-merge-queue bot
December 17, 2024 16:15 18m 0s main
main
December 17, 2024 16:15 18m 0s
chore(py): release tket2-py 0.6.0 (#716) Unsoundness checks #459: Commit 95090a2 pushed by github-merge-queue bot
December 16, 2024 17:36 22m 46s main
main
December 16, 2024 17:36 22m 46s
chore(py): release tket2-eccs 0.3.0 (#659) Unsoundness checks #458: Commit 2cfb322 pushed by github-merge-queue bot
December 16, 2024 17:26 10m 10s main
main
December 16, 2024 17:26 10m 10s