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

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
feat: FunctionBuilder::add_{in,out}put (#1570) Unsoundness checks #815: Commit 3d7405c pushed by github-merge-queue bot
October 14, 2024 09:05 1m 27s main
main
October 14, 2024 09:05 1m 27s
Unsoundness checks Unsoundness checks #814: Manually run by ss2165
October 11, 2024 15:34 54m 56s ss/miri-capnp
ss/miri-capnp
October 11, 2024 15:34 54m 56s
feat: instantiate method for OpDef (#1576) Unsoundness checks #813: Commit 36548ab pushed by github-merge-queue bot
October 11, 2024 15:19 1m 23s main
main
October 11, 2024 15:19 1m 23s
feat: to/from json for extension/package (#1575) Unsoundness checks #812: Commit f8bf61a pushed by github-merge-queue bot
October 11, 2024 15:00 1m 53s main
main
October 11, 2024 15:00 1m 53s
chore(py): Support python 3.13 (#1574) Unsoundness checks #811: Commit 051de71 pushed by github-merge-queue bot
October 11, 2024 14:51 1m 22s main
main
October 11, 2024 14:51 1m 22s