Skip to content

Actions: CQCL/hugr

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
550 workflow runs
550 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: Use local ruff and mypy for pre-commit (#1440) Unsoundness checks #744: Commit 0689868 pushed by github-merge-queue bot
August 16, 2024 15:40 37m 44s main
main
August 16, 2024 15:40 37m 44s
chore(deps-py): bump pytest-cov from 4.1.0 to 5.0.0 (#1438) Unsoundness checks #743: Commit 3a7d09f pushed by github-merge-queue bot
August 16, 2024 14:23 35m 52s main
main
August 16, 2024 14:23 35m 52s
ci: Group dependabot updates (#1435) Unsoundness checks #742: Commit 41711ac pushed by github-merge-queue bot
August 16, 2024 10:47 37m 20s main
main
August 16, 2024 10:47 37m 20s
ci: Ensure release-plz always pushes as @hugrbot (#1436) Unsoundness checks #741: Commit eea4091 pushed by github-merge-queue bot
August 16, 2024 10:30 16m 52s main
main
August 16, 2024 10:30 16m 52s
feat!: disallow opaque ops during validation (#1431) Unsoundness checks #740: Commit fbbb805 pushed by github-merge-queue bot
August 15, 2024 11:18 39m 49s main
main
August 15, 2024 11:18 39m 49s
refactor!: flatten CustomOp in to OpType (#1429) Unsoundness checks #739: Commit 8e8bba5 pushed by github-merge-queue bot
August 14, 2024 16:25 38m 5s main
main
August 14, 2024 16:25 38m 5s
chore(main): release hugr-py 0.7.0 (#1423) Unsoundness checks #738: Commit e59464b pushed by github-merge-queue bot
August 14, 2024 14:52 37m 19s main
main
August 14, 2024 14:52 37m 19s
feat(py): Add node metadata (#1428) Unsoundness checks #737: Commit b229be6 pushed by github-merge-queue bot
August 14, 2024 14:38 14m 19s main
main
August 14, 2024 14:38 14m 19s
fix(py): Invalid serialization of float and int constants (#1427) Unsoundness checks #736: Commit b89c08f pushed by github-merge-queue bot
August 14, 2024 12:52 38m 17s main
main
August 14, 2024 12:52 38m 17s
feat(hugr-py)!: user facing Extension class (#1413) Unsoundness checks #735: Commit c6473c9 pushed by github-merge-queue bot
August 14, 2024 12:08 39m 13s main
main
August 14, 2024 12:08 39m 13s
fix: Equality check between Sum types (#1422) Unsoundness checks #734: Commit 8dfea09 pushed by github-merge-queue bot
August 13, 2024 14:17 35m 36s main
main
August 13, 2024 14:17 35m 36s
chore(deps): update derive_more requirement from 0.99.17 to 1.0.0 (#1… Unsoundness checks #733: Commit 3bf968f pushed by github-merge-queue bot
August 13, 2024 09:36 37m 13s main
main
August 13, 2024 09:36 37m 13s
chore(main): release hugr-py 0.6.0 (#1379) Unsoundness checks #732: Commit 937883d pushed by github-merge-queue bot
August 12, 2024 16:34 35m 14s main
main
August 12, 2024 16:34 35m 14s
feat(py): Parametric int type helper, and arbitrary width int constan… Unsoundness checks #731: Commit abd70c9 pushed by github-merge-queue bot
August 12, 2024 16:10 23m 34s main
main
August 12, 2024 16:10 23m 34s
feat(py): Allow pre-declaring a Function's output types (#1417) Unsoundness checks #730: Commit fa0f5a4 pushed by github-merge-queue bot
August 12, 2024 15:58 12m 19s main
main
August 12, 2024 15:58 12m 19s
chore: release (#1376) Unsoundness checks #729: Commit 8054c28 pushed by github-merge-queue bot
August 12, 2024 14:44 36m 29s main
main
August 12, 2024 14:44 36m 29s
feat: Improve error message on failed custom op validation (#1416) Unsoundness checks #728: Commit 6639c52 pushed by github-merge-queue bot
August 12, 2024 13:53 32m 26s main
main
August 12, 2024 13:53 32m 26s
fix(py): Set output cont for Conditionals (#1415) Unsoundness checks #727: Commit 67bb8a0 pushed by github-merge-queue bot
August 12, 2024 12:05 33m 55s main
main
August 12, 2024 12:05 33m 55s
feat(py): Hugr.to_json and .load_json helpers (#1403) Unsoundness checks #726: Commit e7f9f4c pushed by github-merge-queue bot
August 12, 2024 09:50 33m 30s main
main
August 12, 2024 09:50 33m 30s
docs(hugr-py): expand toctree (#1411) Unsoundness checks #725: Commit aa81c9a pushed by github-merge-queue bot
August 9, 2024 09:23 33m 17s main
main
August 9, 2024 09:23 33m 17s
feat(hugr-py): add type_bound method to Type (#1410) Unsoundness checks #724: Commit bd5ba47 pushed by github-merge-queue bot
August 9, 2024 08:59 24m 10s main
main
August 9, 2024 08:59 24m 10s
fix: BasicBlockExits should not be OpTag::DataflowParent (#1409) Unsoundness checks #723: Commit 373fb22 pushed by github-merge-queue bot
August 9, 2024 08:21 33m 2s main
main
August 9, 2024 08:21 33m 2s
feat(py): Set node output# for dfgs and cfgs (#1400) Unsoundness checks #722: Commit c5d1a74 pushed by github-merge-queue bot
August 8, 2024 15:56 32m 58s main
main
August 8, 2024 15:56 32m 58s
feat(py): implement iter on ToNode (#1399) Unsoundness checks #721: Commit e88910b pushed by github-merge-queue bot
August 8, 2024 15:29 26m 36s main
main
August 8, 2024 15:29 26m 36s
feat: Define Const inline by default, and add a parameter to change… Unsoundness checks #720: Commit 3609736 pushed by github-merge-queue bot
August 8, 2024 13:44 37m 32s main
main
August 8, 2024 13:44 37m 32s