Skip to content

Actions: CQCL/hugr

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
597 workflow runs
597 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Unsoundness checks Unsoundness checks #867: Scheduled
January 27, 2025 04:02 33m 24s main
main
January 27, 2025 04:02 33m 24s
Unsoundness checks Unsoundness checks #866: Scheduled
January 20, 2025 04:02 36m 51s main
main
January 20, 2025 04:02 36m 51s
Unsoundness checks Unsoundness checks #865: Scheduled
January 13, 2025 04:03 33m 49s main
main
January 13, 2025 04:03 33m 49s
Unsoundness checks Unsoundness checks #864: Scheduled
January 6, 2025 04:02 33m 20s main
main
January 6, 2025 04:02 33m 20s
Unsoundness checks Unsoundness checks #863: Scheduled
December 30, 2024 04:02 34m 4s main
main
December 30, 2024 04:02 34m 4s
Unsoundness checks Unsoundness checks #862: Scheduled
December 23, 2024 04:02 33m 40s main
main
December 23, 2024 04:02 33m 40s
Unsoundness checks Unsoundness checks #861: Scheduled
December 16, 2024 04:02 4h 39m 17s main
main
December 16, 2024 04:02 4h 39m 17s
Unsoundness checks Unsoundness checks #860: Scheduled
December 9, 2024 04:03 4h 21m 49s main
main
December 9, 2024 04:03 4h 21m 49s
Unsoundness checks Unsoundness checks #859: Scheduled
December 2, 2024 04:03 52m 41s main
main
December 2, 2024 04:03 52m 41s
Unsoundness checks Unsoundness checks #858: Scheduled
November 25, 2024 04:02 53m 26s main
main
November 25, 2024 04:02 53m 26s
feat: Add SiblingSubgraph::from_node (#1655) Unsoundness checks #857: Commit c2c5752 pushed by github-merge-queue bot
November 15, 2024 12:08 51m 19s main
main
November 15, 2024 12:08 51m 19s
perf: Faster singleton SiblingSubgraph construction (#1654) Unsoundness checks #856: Commit e63878f pushed by github-merge-queue bot
November 13, 2024 15:53 50m 26s main
main
November 13, 2024 15:53 50m 26s
ci: fix miri checks (#1651) Unsoundness checks #855: Commit 0c430d1 pushed by github-merge-queue bot
November 13, 2024 11:11 52m 6s main
main
November 13, 2024 11:11 52m 6s
Unsoundness checks Unsoundness checks #854: Manually run by aborgna-q
November 13, 2024 10:59 54m 18s ab/miri
ab/miri
November 13, 2024 10:59 54m 18s
feat: Export/import of JSON metadata (#1622) Unsoundness checks #853: Commit 935c61b pushed by github-merge-queue bot
November 13, 2024 10:17 34m 34s main
main
November 13, 2024 10:17 34m 34s
ci: Fix trusted pypi publish job (#1648) Unsoundness checks #852: Commit 36bbbcf pushed by github-merge-queue bot
November 12, 2024 17:32 52m 17s main
main
November 12, 2024 17:32 52m 17s
chore: Fix unsoundness tests (#1643) Unsoundness checks #851: Commit 5562c91 pushed by github-merge-queue bot
November 8, 2024 09:14 50m 53s main
main
November 8, 2024 09:14 50m 53s
Unsoundness checks Unsoundness checks #850: Manually run by aborgna-q
November 7, 2024 16:16 56m 58s ab/fix-miri
ab/fix-miri
November 7, 2024 16:16 56m 58s
Unsoundness checks Unsoundness checks #849: Manually run by aborgna-q
November 7, 2024 15:40 32m 59s ab/fix-miri
ab/fix-miri
November 7, 2024 15:40 32m 59s
ci: Fix unsoundness notification (#1641) Unsoundness checks #848: Commit 3a297d5 pushed by github-merge-queue bot
November 7, 2024 15:04 28m 47s main
main
November 7, 2024 15:04 28m 47s
chore: release (#1617) Unsoundness checks #847: Commit f6c1572 pushed by github-merge-queue bot
November 6, 2024 13:56 26m 48s main
main
November 6, 2024 13:56 26m 48s
fix: Update number of ports for PartialOps, and sanitize orderd edges… Unsoundness checks #846: Commit 81a1385 pushed by github-merge-queue bot
November 6, 2024 13:35 21m 2s main
main
November 6, 2024 13:35 21m 2s
ci: use trusted publishers for pypi publishing (#1634) Unsoundness checks #845: Commit bf9d58b pushed by github-merge-queue bot
November 5, 2024 16:19 28m 10s main
main
November 5, 2024 16:19 28m 10s
feat: Add TailLoop::BREAK_TAG and CONTINUE_TAG (#1626) Unsoundness checks #844: Commit f2ae52e pushed by github-merge-queue bot
November 5, 2024 11:52 27m 12s main
main
November 5, 2024 11:52 27m 12s
fix: Insert DFG directly as a funcdefn in Package::from_hugr (#1621) Unsoundness checks #843: Commit c987d2f pushed by github-merge-queue bot
November 5, 2024 11:01 26m 48s main
main
November 5, 2024 11:01 26m 48s