Skip to content

Actions: CQCL/hugr

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
343 workflow run results
343 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: pypi publish running unconditionally (#1182) Unsoundness checks #585: Commit 10a8c17 pushed by github-merge-queue bot
June 7, 2024 15:41 1m 34s main
main
June 7, 2024 15:41 1m 34s
feat!: Make the rewrite errors more useful (#1174) Unsoundness checks #584: Commit bb75522 pushed by github-merge-queue bot
June 7, 2024 15:20 1m 37s main
main
June 7, 2024 15:20 1m 37s
feat: CircuitBuilder::add_constant (#1168) Unsoundness checks #583: Commit 15c3ea9 pushed by github-merge-queue bot
June 7, 2024 14:44 1m 48s main
main
June 7, 2024 14:44 1m 48s
chore: release (#1180) Unsoundness checks #582: Commit 71509d9 pushed by github-merge-queue bot
June 7, 2024 13:28 1m 34s main
main
June 7, 2024 13:28 1m 34s
fix: Do not require matching extension_reqs when creating a replaceme… Unsoundness checks #581: Commit 68595c8 pushed by github-merge-queue bot
June 7, 2024 12:13 1m 41s main
main
June 7, 2024 12:13 1m 41s
ci: Unpin nightly (#1179) Unsoundness checks #580: Commit 6800e68 pushed by github-merge-queue bot
June 7, 2024 09:17 1m 29s main
main
June 7, 2024 09:17 1m 29s
feat(hugr-py): store children in node weight (#1160) Unsoundness checks #579: Commit 1cdaeed pushed by github-merge-queue bot
June 6, 2024 16:53 1m 29s main
main
June 6, 2024 16:53 1m 29s
feat: HugrView::extract_hugr to extract regions into owned hugrs. (… Unsoundness checks #578: Commit cf542b4 pushed by github-merge-queue bot
June 6, 2024 16:42 1m 31s main
main
June 6, 2024 16:42 1m 31s
feat(hugr-py): automatically add state order edges for inter-graph ed… Unsoundness checks #577: Commit 5da06e1 pushed by github-merge-queue bot
June 6, 2024 13:46 1m 32s main
main
June 6, 2024 13:46 1m 32s
feat: Add ValidationLevel tooling and apply to constant_fold_pass… Unsoundness checks #576: Commit 6eb6d56 pushed by github-merge-queue bot
June 6, 2024 10:32 4m 1s main
main
June 6, 2024 10:32 4m 1s
refactor(hugr-py): move dfg to own file (#1161) Unsoundness checks #575: Commit e993580 pushed by github-merge-queue bot
June 5, 2024 15:29 1m 41s main
main
June 5, 2024 15:29 1m 41s
feat(hugr-py): builder ops separate from serialised ops (#1140) Unsoundness checks #574: Commit 342eda3 pushed by github-merge-queue bot
June 4, 2024 16:29 1m 39s main
main
June 4, 2024 16:29 1m 39s
ci: Fix rust checks running for python-only changes (#1153) Unsoundness checks #573: Commit ea8905a pushed by github-merge-queue bot
June 4, 2024 15:46 1m 33s main
main
June 4, 2024 15:46 1m 33s
ci(deps): bump dawidd6/action-download-artifact from 3 to 4 (#1150) Unsoundness checks #572: Commit 72d3b03 pushed by github-merge-queue bot
June 4, 2024 08:23 1m 30s main
main
June 4, 2024 08:23 1m 30s
chore(deps): update rstest requirement from 0.19.0 to 0.21.0 (#1149) Unsoundness checks #571: Commit a79097a pushed by github-merge-queue bot
June 4, 2024 08:16 1m 40s main
main
June 4, 2024 08:16 1m 40s
fix: merge_bbs creating too many self-loop edges (#1147) Unsoundness checks #570: Commit 0bd6513 pushed by github-merge-queue bot
June 3, 2024 12:58 1m 50s main
main
June 3, 2024 12:58 1m 50s
feat: reexport clap::Parser and clap_verbosity_flag::Level from h… Unsoundness checks #569: Commit 64d03e7 pushed by github-merge-queue bot
June 3, 2024 08:43 1m 31s main
main
June 3, 2024 08:43 1m 31s
feat(hugr-py): python hugr builder (#1098) Unsoundness checks #568: Commit 23408b5 pushed by github-merge-queue bot
May 31, 2024 16:31 1m 26s main
main
May 31, 2024 16:31 1m 26s
feat: Add ConstExternalSymbol to prelude (#1123) Unsoundness checks #567: Commit 96cd3e3 pushed by github-merge-queue bot
May 31, 2024 14:15 1m 33s main
main
May 31, 2024 14:15 1m 33s
fix!: Validate that control-flow outputs have exactly one successor (… Unsoundness checks #566: Commit 0491cbc pushed by github-merge-queue bot
May 31, 2024 11:14 2m 44s main
main
May 31, 2024 11:14 2m 44s
refactor: remove default_members field in workspace Cargo.toml (#1136) Unsoundness checks #565: Commit 1032b7a pushed by github-merge-queue bot
May 30, 2024 09:54 1m 30s main
main
May 30, 2024 09:54 1m 30s
test: serialisation round trip testing for OpDef (#999) Unsoundness checks #564: Commit d799f7f pushed by github-merge-queue bot
May 30, 2024 09:07 1m 38s main
main
May 30, 2024 09:07 1m 38s
refactor: move binary to hugr-cli (#1134) Unsoundness checks #563: Commit d0cd023 pushed by github-merge-queue bot
May 29, 2024 15:37 33m 48s main
main
May 29, 2024 15:37 33m 48s
ci: auto-release the new crates (#1132) Unsoundness checks #562: Commit 74a25be pushed by github-merge-queue bot
May 29, 2024 13:59 32m 31s main
main
May 29, 2024 13:59 32m 31s
fix: Move declarative.yaml example to the hugr-core crate (#1131) Unsoundness checks #561: Commit f26b5be pushed by github-merge-queue bot
May 29, 2024 13:58 1m 7s main
main
May 29, 2024 13:58 1m 7s