Skip to content

Actions: CQCL/tket2

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
241 workflow run results
241 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Unsoundness checks Unsoundness checks #532: Scheduled
June 30, 2025 04:15 28m 26s main
main
June 30, 2025 04:15 28m 26s
Unsoundness checks Unsoundness checks #531: Scheduled
June 23, 2025 04:16 36m 10s main
main
June 23, 2025 04:16 36m 10s
Unsoundness checks Unsoundness checks #530: Scheduled
June 16, 2025 04:14 33m 52s main
main
June 16, 2025 04:14 33m 52s
Unsoundness checks Unsoundness checks #529: Scheduled
June 9, 2025 04:14 35m 18s main
main
June 9, 2025 04:14 35m 18s
Unsoundness checks Unsoundness checks #528: Scheduled
June 2, 2025 04:13 33m 7s main
main
June 2, 2025 04:13 33m 7s
Unsoundness checks Unsoundness checks #527: Scheduled
May 26, 2025 04:11 41m 53s main
main
May 26, 2025 04:11 41m 53s
Unsoundness checks Unsoundness checks #526: Scheduled
May 19, 2025 04:12 14m 53s main
main
May 19, 2025 04:12 14m 53s
Unsoundness checks Unsoundness checks #525: Scheduled
May 12, 2025 04:09 18m 4s main
main
May 12, 2025 04:09 18m 4s
Unsoundness checks Unsoundness checks #524: Scheduled
May 5, 2025 04:08 17m 4s main
main
May 5, 2025 04:08 17m 4s
Unsoundness checks Unsoundness checks #523: Scheduled
April 28, 2025 04:08 16m 30s main
main
April 28, 2025 04:08 16m 30s
Unsoundness checks Unsoundness checks #522: Scheduled
April 21, 2025 04:08 17m 30s main
main
April 21, 2025 04:08 17m 30s
Unsoundness checks Unsoundness checks #521: Scheduled
April 14, 2025 04:07 16m 33s main
main
April 14, 2025 04:07 16m 33s
Unsoundness checks Unsoundness checks #520: Scheduled
April 7, 2025 04:07 16m 37s main
main
April 7, 2025 04:07 16m 37s
Unsoundness checks Unsoundness checks #519: Scheduled
March 31, 2025 04:07 16m 45s main
main
March 31, 2025 04:07 16m 45s
Unsoundness checks Unsoundness checks #518: Scheduled
March 24, 2025 04:07 16m 25s main
main
March 24, 2025 04:07 16m 25s
chore: Disable ordered_qalloc test in miri (#818) Unsoundness checks #517: Commit 114a0cf pushed by github-merge-queue bot
March 19, 2025 12:26 17m 1s main
main
March 19, 2025 12:26 17m 1s
chore: Add doug-q to codeowners (#820) Unsoundness checks #516: Commit ff405eb pushed by github-merge-queue bot
March 19, 2025 09:18 17m 7s main
main
March 19, 2025 09:18 17m 7s
chore(py): release tket2-py 0.8.1 (#819) Unsoundness checks #515: Commit e0d9af6 pushed by github-merge-queue bot
March 18, 2025 12:05 17m 14s main
main
March 18, 2025 12:05 17m 14s
chore(py): release tket2-exts 0.6.0 (#811) Unsoundness checks #514: Commit e358bb1 pushed by github-merge-queue bot
March 18, 2025 10:31 15m 42s main
main
March 18, 2025 10:31 15m 42s
chore(py): release tket2-py 0.8.0 (#808) Unsoundness checks #513: Commit 7f61db8 pushed by github-merge-queue bot
March 18, 2025 09:57 16m 49s main
main
March 18, 2025 09:57 16m 49s
feat!: Use hugr envelopes to store/load circuits (#813) Unsoundness checks #512: Commit 2940b2e pushed by github-merge-queue bot
March 17, 2025 14:52 17m 20s main
main
March 17, 2025 14:52 17m 20s
chore: devenv cleanups (#814) Unsoundness checks #511: Commit 82dc8f6 pushed by github-merge-queue bot
March 17, 2025 10:20 16m 18s main
main
March 17, 2025 10:20 16m 18s
ci(deps): bump extractions/setup-just from 2 to 3 (#815) Unsoundness checks #510: Commit 2abc704 pushed by github-merge-queue bot
March 17, 2025 09:44 16m 15s main
main
March 17, 2025 09:44 16m 15s
chore!: bump to hugr-rs 0.15 and hugr-py 0.11 (#806) Unsoundness checks #509: Commit f3bfaae pushed by github-merge-queue bot
March 14, 2025 18:02 17m 8s main
main
March 14, 2025 18:02 17m 8s
feat(tket-hseries): lower tk2 ops using function calls (#812) Unsoundness checks #508: Commit 46a0649 pushed by github-merge-queue bot
March 14, 2025 17:04 16m 43s main
main
March 14, 2025 17:04 16m 43s