Skip to content

Actions: CQCL/hugr

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
526 workflow run results
526 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat!: Update remaining builder methods to "infer by default" (#1386) Unsoundness checks #710: Commit b75dd09 pushed by github-merge-queue bot
August 2, 2024 08:14 35m 44s main
main
August 2, 2024 08:14 35m 44s
feat: Package pydantic model for modules + extensions (#1387) Unsoundness checks #709: Commit 68cfac5 pushed by github-merge-queue bot
August 1, 2024 14:00 35m 48s main
main
August 1, 2024 14:00 35m 48s
docs(hugr-py): remove multiversion + add justfile command (#1381) Unsoundness checks #708: Commit dd1dc48 pushed by github-merge-queue bot
July 31, 2024 08:08 36m 41s main
main
July 31, 2024 08:08 36m 41s
ci: move std extensions check to rust workflow (#1383) Unsoundness checks #707: Commit ad22df3 pushed by github-merge-queue bot
July 30, 2024 15:57 35m 8s main
main
July 30, 2024 15:57 35m 8s
chore: Cleanup gitignore (#1385) Unsoundness checks #706: Commit 11bf182 pushed by github-merge-queue bot
July 30, 2024 15:44 13m 6s main
main
July 30, 2024 15:44 13m 6s
ci: Fix pr-title not running (#1384) Unsoundness checks #705: Commit 99000c5 pushed by github-merge-queue bot
July 30, 2024 15:36 8m 35s main
main
July 30, 2024 15:36 8m 35s
chore: devenv update (rust 1.80) (#1382) Unsoundness checks #704: Commit 0a8e258 pushed by github-merge-queue bot
July 30, 2024 15:04 32m 3s main
main
July 30, 2024 15:04 32m 3s
ci: Call reusable actions from hugrverse-actions (#1372) Unsoundness checks #703: Commit a7e854b pushed by github-merge-queue bot
July 30, 2024 12:29 37m 23s main
main
July 30, 2024 12:29 37m 23s
feat: serialised standard extensions (#1377) Unsoundness checks #702: Commit 2820ffa pushed by github-merge-queue bot
July 30, 2024 10:25 35m 26s main
main
July 30, 2024 10:25 35m 26s
feat!: Serialised extensions (#1371) Unsoundness checks #701: Commit 31be204 pushed by github-merge-queue bot
July 30, 2024 10:19 6m 32s main
main
July 30, 2024 10:19 6m 32s
ci: Reduce rust coverage report delay (#1370) Unsoundness checks #700: Commit 5ee2e04 pushed by github-merge-queue bot
July 30, 2024 09:49 30m 24s main
main
July 30, 2024 09:49 30m 24s
chore: Replace build.rs with lint config in Cargo.toml (#1354) Unsoundness checks #699: Commit b7a39b9 pushed by github-merge-queue bot
July 29, 2024 15:30 34m 11s main
main
July 29, 2024 15:30 34m 11s
feat!: Extension requires a version (#1367) Unsoundness checks #698: Commit b2d4013 pushed by github-merge-queue bot
July 29, 2024 12:51 35m 37s main
main
July 29, 2024 12:51 35m 37s
chore(main): release hugr-py 0.5.0 (#1291) Unsoundness checks #697: Commit c72e288 pushed by github-merge-queue bot
July 29, 2024 12:09 37m 10s main
main
July 29, 2024 12:09 37m 10s
chore: release (#1330) Unsoundness checks #696: Commit 8499700 pushed by github-merge-queue bot
July 29, 2024 09:47 35m 53s main
main
July 29, 2024 09:47 35m 53s
feat!: remove the Eq type bound. (#1364) Unsoundness checks #695: Commit 1218d21 pushed by github-merge-queue bot
July 26, 2024 14:25 37m 59s main
main
July 26, 2024 14:25 37m 59s
fix(hugr-core)!: bump serialisation version with no upgrade path (#1352) Unsoundness checks #694: Commit 657cbb0 pushed by github-merge-queue bot
July 26, 2024 14:04 21m 29s main
main
July 26, 2024 14:04 21m 29s
chore(spec): Clean up non-local edges CFG example (#1369) Unsoundness checks #693: Commit 73070c4 pushed by github-merge-queue bot
July 26, 2024 09:10 34m 50s main
main
July 26, 2024 09:10 34m 50s
docs: Update instructions for doing patch releases (#1368) Unsoundness checks #692: Commit adfc0c2 pushed by github-merge-queue bot
July 25, 2024 16:06 36m 27s main
main
July 25, 2024 16:06 36m 27s
chore(rs): hugr 0.9.1 patch release (#1366) Unsoundness checks #691: Commit 58853d3 pushed by github-merge-queue bot
July 25, 2024 15:35 31m 1s main
main
July 25, 2024 15:35 31m 1s
feat(hugr-passes): Add nonlocal_edges and `ensure_no_nonlocal_edges… Unsoundness checks #690: Commit ef101a6 pushed by github-merge-queue bot
July 25, 2024 14:00 37m 41s main
main
July 25, 2024 14:00 37m 41s
fix: Sibling extension panics while computing signature with non-data… Unsoundness checks #689: Commit 429162a pushed by github-merge-queue bot
July 25, 2024 13:52 8m 10s main
main
July 25, 2024 13:52 8m 10s
chore: Fix clippy 1.80 lints (#1355) Unsoundness checks #688: Commit 2929d0d pushed by github-merge-queue bot
July 25, 2024 13:32 20m 14s main
main
July 25, 2024 13:32 20m 14s
test: miri gate serialization upgrades (#1349) Unsoundness checks #687: Commit 4ea618e pushed by github-merge-queue bot
July 25, 2024 10:05 34m 44s main
main
July 25, 2024 10:05 34m 44s
Unsoundness checks Unsoundness checks #686: Manually run by ss2165
July 25, 2024 09:27 34m 31s ss/miri
ss/miri
July 25, 2024 09:27 34m 31s