Skip to content

Actions: CQCL/hugr

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
488 workflow runs
488 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Unsoundness checks Unsoundness checks #880: Scheduled
April 14, 2025 04:02 In progress main
main
April 14, 2025 04:02 In progress
Unsoundness checks Unsoundness checks #879: Scheduled
April 7, 2025 04:02 5h 11m 31s main
main
April 7, 2025 04:02 5h 11m 31s
Unsoundness checks Unsoundness checks #878: Scheduled
March 31, 2025 04:02 5h 8m 17s main
main
March 31, 2025 04:02 5h 8m 17s
Unsoundness checks Unsoundness checks #877: Scheduled
March 24, 2025 04:02 7m 31s main
main
March 24, 2025 04:02 7m 31s
Unsoundness checks Unsoundness checks #876: Scheduled
March 17, 2025 04:02 4h 56m 35s main
main
March 17, 2025 04:02 4h 56m 35s
Unsoundness checks Unsoundness checks #875: Scheduled
March 10, 2025 04:02 4h 43m 16s main
main
March 10, 2025 04:02 4h 43m 16s
Unsoundness checks Unsoundness checks #874: Scheduled
March 3, 2025 04:02 4h 48m 14s main
main
March 3, 2025 04:02 4h 48m 14s
Unsoundness checks Unsoundness checks #873: Manually run by aborgna-q
February 26, 2025 17:00 4h 59m 32s ab/fix-miri
ab/fix-miri
February 26, 2025 17:00 4h 59m 32s
Unsoundness checks Unsoundness checks #872: Manually run by aborgna-q
February 24, 2025 14:45 32m 53s main
main
February 24, 2025 14:45 32m 53s
Unsoundness checks Unsoundness checks #871: Scheduled
February 24, 2025 04:02 34m 30s main
main
February 24, 2025 04:02 34m 30s
Unsoundness checks Unsoundness checks #870: Scheduled
February 17, 2025 04:02 33m 51s main
main
February 17, 2025 04:02 33m 51s
Unsoundness checks Unsoundness checks #869: Scheduled
February 10, 2025 04:02 34m 44s main
main
February 10, 2025 04:02 34m 44s
Unsoundness checks Unsoundness checks #868: Scheduled
February 3, 2025 04:02 33m 10s main
main
February 3, 2025 04:02 33m 10s
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