Skip to content

Actions: CQCL/hugr

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
506 workflow run results
506 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: Fix unused warnings on default features (#1618) Unsoundness checks #840: Commit fed74b5 pushed by github-merge-queue bot
October 29, 2024 10:55 53m 10s main
main
October 29, 2024 10:55 53m 10s
chore(deps-rs): update jsonschema requirement from 0.24.0 to 0.26.0 i… Unsoundness checks #839: Commit 01b12ea pushed by github-merge-queue bot
October 29, 2024 10:27 27m 51s main
main
October 29, 2024 10:27 27m 51s
ci: Notify slack when miri checks fail (#1614) Unsoundness checks #838: Commit 87150fa pushed by github-merge-queue bot
October 25, 2024 15:52 56m 40s main
main
October 25, 2024 15:52 56m 40s
ci: Use reusable coverage-trend workflow (#1615) Unsoundness checks #837: Commit 75a047f pushed by github-merge-queue bot
October 25, 2024 10:19 52m 51s main
main
October 25, 2024 10:19 52m 51s
chore: Move hugr-model to a separate release group (#1612) Unsoundness checks #836: Commit 8d9da5f pushed by github-merge-queue bot
October 24, 2024 09:54 54m 16s main
main
October 24, 2024 09:54 54m 16s
ci: Use uv --frozen instead of --locked (#1611) Unsoundness checks #835: Commit 426d3ab pushed by github-merge-queue bot
October 23, 2024 17:37 52m 26s main
main
October 23, 2024 17:37 52m 26s
fix(py): allow conditional cases to be defined out of order (#1599) Unsoundness checks #834: Commit 583d21d pushed by github-merge-queue bot
October 23, 2024 10:17 50m 21s main
main
October 23, 2024 10:17 50m 21s
chore: release v0.13.2 (#1588) Unsoundness checks #833: Commit e04fcc5 pushed by github-merge-queue bot
October 22, 2024 15:33 51m 3s main
main
October 22, 2024 15:33 51m 3s
chore(deps-rs): update jsonschema requirement from 0.23.0 to 0.24.0 i… Unsoundness checks #832: Commit 8c29d98 pushed by github-merge-queue bot
October 22, 2024 09:12 49m 44s main
main
October 22, 2024 09:12 49m 44s
ci: Don't semver-check if cargo check fails (#1602) Unsoundness checks #831: Commit ea0b204 pushed by github-merge-queue bot
October 22, 2024 07:36 51m 46s main
main
October 22, 2024 07:36 51m 46s
chore: Unbreak release (#1591) Unsoundness checks #830: Commit 45c3106 pushed by github-merge-queue bot
October 21, 2024 12:48 53m 56s main
main
October 21, 2024 12:48 53m 56s
feat: Ensure packages always have modules at the root (#1589) Unsoundness checks #829: Commit d349eee pushed by github-merge-queue bot
October 21, 2024 11:02 54m 45s main
main
October 21, 2024 11:02 54m 45s
ci: Run cargo-semver-checks on PRs (#1598) Unsoundness checks #828: Commit ddca29c pushed by github-merge-queue bot
October 21, 2024 10:47 15m 0s main
main
October 21, 2024 10:47 15m 0s
docs: Add help docs about semver-checks (#1590) Unsoundness checks #827: Commit c5b597d pushed by github-merge-queue bot
October 18, 2024 16:04 50m 47s main
main
October 18, 2024 16:04 50m 47s
feat: make errors more readable with Display impls (#1597) Unsoundness checks #826: Commit c79b95b pushed by github-merge-queue bot
October 18, 2024 13:38 50m 25s main
main
October 18, 2024 13:38 50m 25s
feat: Add filter_edge_kind to PortIterator (#1593) Unsoundness checks #825: Commit 6097391 pushed by github-merge-queue bot
October 18, 2024 10:58 50m 23s main
main
October 18, 2024 10:58 50m 23s
feat: Render function names in mermaid/dot (#1583) Unsoundness checks #824: Commit 0f6c25a pushed by github-merge-queue bot
October 17, 2024 14:21 53m 35s main
main
October 17, 2024 14:21 53m 35s
feat: Add Package definition on hugr-core (#1587) Unsoundness checks #823: Commit d899bd3 pushed by github-merge-queue bot
October 17, 2024 14:19 2m 12s main
main
October 17, 2024 14:19 2m 12s
fix: Allocate ports on root nodes (#1585) Unsoundness checks #822: Commit a66c4b9 pushed by github-merge-queue bot
October 17, 2024 09:55 52m 52s main
main
October 17, 2024 09:55 52m 52s
chore(deps-rs): update jsonschema requirement from 0.22.3 to 0.23.0 i… Unsoundness checks #821: Commit 2412599 pushed by github-merge-queue bot
October 15, 2024 09:07 51m 6s main
main
October 15, 2024 09:07 51m 6s
chore: Fix lints from clippy 1.82 (#1580) Unsoundness checks #820: Commit 2b96831 pushed by github-merge-queue bot
October 15, 2024 08:26 40m 57s main
main
October 15, 2024 08:26 40m 57s
ci: Install capnproto in release-plz ci (#1579) Unsoundness checks #819: Commit cfe78b6 pushed by github-merge-queue bot
October 14, 2024 10:45 49m 23s main
main
October 14, 2024 10:45 49m 23s
chore: release v0.13.1 (#1578) Unsoundness checks #818: Commit 6c425ee pushed by github-merge-queue bot
October 14, 2024 10:03 42m 5s main
main
October 14, 2024 10:03 42m 5s
chore(main): release hugr-py 0.9.0 (#1548) Unsoundness checks #817: Commit 96f9891 pushed by github-merge-queue bot
October 14, 2024 09:50 13m 18s main
main
October 14, 2024 09:50 13m 18s
ci: install capnp in unsoundness check (#1577) Unsoundness checks #816: Commit b988695 pushed by github-merge-queue bot
October 14, 2024 09:06 44m 33s main
main
October 14, 2024 09:06 44m 33s