Skip to content

Actions: CQCL/hugr

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
524 workflow run results
524 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Add missing ops (#1463) Unsoundness checks #758: Commit 841f450 pushed by github-merge-queue bot
August 27, 2024 15:53 21m 56s main
main
August 27, 2024 15:53 21m 56s
feat: Bring in the pure-python renderer from guppy (#1462) Unsoundness checks #757: Commit 001e66a pushed by github-merge-queue bot
August 22, 2024 15:29 37m 8s main
main
August 22, 2024 15:29 37m 8s
refactor!: Make _DfBase and _DefinitionBuilder public (#1461) Unsoundness checks #756: Commit ea9cca0 pushed by github-merge-queue bot
August 22, 2024 14:23 37m 27s main
main
August 22, 2024 14:23 37m 27s
feat: Add a FuncTypeBase::io method (#1458) Unsoundness checks #755: Commit c7cd840 pushed by github-merge-queue bot
August 21, 2024 16:49 40m 37s main
main
August 21, 2024 16:49 40m 37s
feat(hugr-py): use serialized extensions in python (#1459) Unsoundness checks #754: Commit a61f4df pushed by github-merge-queue bot
August 21, 2024 16:36 13m 17s main
main
August 21, 2024 16:36 13m 17s
fix(py): Invalid node indexing (#1457) Unsoundness checks #753: Commit d6edcd7 pushed by github-merge-queue bot
August 21, 2024 15:59 37m 15s main
main
August 21, 2024 15:59 37m 15s
fix: width errors in spec (#1456) Unsoundness checks #752: Commit 26f05b5 pushed by github-merge-queue bot
August 21, 2024 15:27 32m 3s main
main
August 21, 2024 15:27 32m 3s
feat!: int operations other than widen/narrow have only one width arg… Unsoundness checks #751: Commit c39ed15 pushed by github-merge-queue bot
August 21, 2024 15:18 9m 16s main
main
August 21, 2024 15:18 9m 16s
feat!: variadic logic ops now binary (#1451) Unsoundness checks #750: Commit 95b3949 pushed by github-merge-queue bot
August 21, 2024 12:28 37m 43s main
main
August 21, 2024 12:28 37m 43s
feat!: add collections to serialized standard extensions (#1452) Unsoundness checks #749: Commit 6bd7d7f pushed by github-merge-queue bot
August 21, 2024 12:23 5m 39s main
main
August 21, 2024 12:23 5m 39s
chore: devenv update (#1449) Unsoundness checks #748: Commit 31b77e8 pushed by github-merge-queue bot
August 21, 2024 10:13 38m 12s main
main
August 21, 2024 10:13 38m 12s
docs: update spec for Row Variables and no-input-extensions (#1402) Unsoundness checks #747: Commit 67f0668 pushed by github-merge-queue bot
August 20, 2024 09:35 38m 19s main
main
August 20, 2024 09:35 38m 19s
chore(deps-py): bump ruff from 0.6.0 to 0.6.1 in the dev group across… Unsoundness checks #746: Commit 0bc223b pushed by github-merge-queue bot
August 20, 2024 08:22 37m 37s main
main
August 20, 2024 08:22 37m 37s
test: add serialization benchmarks (#1439) Unsoundness checks #745: Commit fac995d pushed by github-merge-queue bot
August 16, 2024 16:23 39m 13s main
main
August 16, 2024 16:23 39m 13s
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