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-py): bump ruff from 0.4.2 to 0.4.4 (#339) Unsoundness checks #202: Commit 10c5536 pushed by github-merge-queue bot
May 13, 2024 07:45 5m 19s main
main
May 13, 2024 07:45 5m 19s
feat: pauli propagation use case example (#333) Unsoundness checks #201: Commit f46973c pushed by github-merge-queue bot
May 3, 2024 15:14 5m 45s main
main
May 3, 2024 15:14 5m 45s
fix: Don't convert tket2 measurements into tket1 ops (#331) Unsoundness checks #200: Commit 2f1d1a1 pushed by github-merge-queue bot
May 2, 2024 15:06 5m 38s main
main
May 2, 2024 15:06 5m 38s
chore: remove devenv pre commit hooks and add just setup to shell e… Unsoundness checks #199: Commit 8995e82 pushed by github-merge-queue bot
May 2, 2024 14:53 5m 56s main
main
May 2, 2024 14:53 5m 56s
chore: Use pre-commit, update justfile and fix lints (#329) Unsoundness checks #198: Commit c002846 pushed by github-merge-queue bot
May 2, 2024 14:33 5m 22s main
main
May 2, 2024 14:33 5m 22s
chore(deps-py): bump ruff from 0.1.13 to 0.4.2 (#324) Unsoundness checks #197: Commit 15904f9 pushed by github-merge-queue bot
May 2, 2024 12:01 5m 36s main
main
May 2, 2024 12:01 5m 36s
ci(pr-title): Escape variables used in bash scripts (#328) Unsoundness checks #196: Commit df74fac pushed by github-merge-queue bot
May 2, 2024 11:55 5m 37s main
main
May 2, 2024 11:55 5m 37s
chore(deps-py): bump pytest from 7.4.4 to 8.2.0 (#327) Unsoundness checks #195: Commit 5d3b0c9 pushed by github-merge-queue bot
May 2, 2024 11:18 5m 33s main
main
May 2, 2024 11:18 5m 33s
chore(deps-py): bump pytket from 1.24.0 to 1.27.0 (#325) Unsoundness checks #194: Commit 11c8158 pushed by github-merge-queue bot
May 2, 2024 11:17 1m 25s main
main
May 2, 2024 11:17 1m 25s
chore(deps-py): bump graphviz from 0.20.1 to 0.20.3 (#326) Unsoundness checks #193: Commit 4b744ea pushed by github-merge-queue bot
May 2, 2024 11:07 9m 12s main
main
May 2, 2024 11:07 9m 12s
chore(deps-py): bump pytest-cov from 4.1.0 to 5.0.0 (#323) Unsoundness checks #192: Commit 27b967b pushed by github-merge-queue bot
May 2, 2024 11:05 1m 43s main
main
May 2, 2024 11:05 1m 43s
ci(deps): bump mozilla-actions/sccache-action from 0.0.3 to 0.0.4 (#320) Unsoundness checks #191: Commit 84102ba pushed by github-merge-queue bot
May 2, 2024 11:04 1m 27s main
main
May 2, 2024 11:04 1m 27s
ci: Bring updated ci jobs from hugr (#319) Unsoundness checks #190: Commit a971bc4 pushed by github-merge-queue bot
May 2, 2024 10:56 5m 32s main
main
May 2, 2024 10:56 5m 32s
docs: Expand the main module and README docs (#298) Unsoundness checks #189: Commit b93b51d pushed by github-merge-queue bot
April 29, 2024 10:08 5m 28s main
main
April 29, 2024 10:08 5m 28s
chore(deps): Update hugr dependency to 0.3.0 (#313) Unsoundness checks #188: Commit 40e79d9 pushed by github-merge-queue bot
April 19, 2024 12:59 5m 37s main
main
April 19, 2024 12:59 5m 37s
chore: devenv update (#316) Unsoundness checks #187: Commit 2df157b pushed by github-merge-queue bot
April 19, 2024 12:59 5m 26s main
main
April 19, 2024 12:59 5m 26s
chore(deps): update pyo3 dependency to 0.21 (#314) Unsoundness checks #186: Commit 65045b2 pushed by github-merge-queue bot
April 16, 2024 16:18 5m 11s main
main
April 16, 2024 16:18 5m 11s
fix: Track input linear units in Command (#310) Unsoundness checks #185: Commit 956eb05 pushed by github-merge-queue bot
April 16, 2024 11:29 5m 21s main
main
April 16, 2024 11:29 5m 21s
chore(deps): update rstest requirement from 0.18.1 to 0.19.0 (#312) Unsoundness checks #184: Commit 8576c49 pushed by github-merge-queue bot
April 15, 2024 06:24 5m 58s main
main
April 15, 2024 06:24 5m 58s
feat: expose Tk2Op name (#307) Unsoundness checks #183: Commit c4f0993 pushed by github-merge-queue bot
April 8, 2024 13:43 6m 5s main
main
April 8, 2024 13:43 6m 5s
test: depth pass conversion error (#285) Unsoundness checks #182: Commit 70e9e12 pushed by github-merge-queue bot
April 5, 2024 13:57 5m 58s main
main
April 5, 2024 13:57 5m 58s
chore: cleanup dependency inheritance (#305) Unsoundness checks #181: Commit b42a6fd pushed by github-merge-queue bot
March 25, 2024 09:47 5m 29s main
main
March 25, 2024 09:47 5m 29s
chore(deps): update priority-queue requirement from 1.3.0 to 2.0.2 (#… Unsoundness checks #180: Commit 5e3030e pushed by github-merge-queue bot
March 4, 2024 09:45 4m 30s main
main
March 4, 2024 09:45 4m 30s
feat: Use IncomingPort and OutgoingPort instead of Port where p… Unsoundness checks #179: Commit 93f83ac pushed by github-merge-queue bot
March 1, 2024 17:45 4m 46s main
main
March 1, 2024 17:45 4m 46s
feat: Add PatternMatch::nodes and subcircuit + matching example (… Unsoundness checks #178: Commit 8bd2441 pushed by github-merge-queue bot
March 1, 2024 17:27 4m 41s main
main
March 1, 2024 17:27 4m 41s
ProTip! You can narrow down the results and go further in time using created:<2024-03-01 or the other filters available.