Skip to content

Actions: CQCL/hugr

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
132 workflow run results
132 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix!: Combine ConstIntU and ConstIntS (#974) Unsoundness checks #466: Commit 529f553 pushed by github-merge-queue bot
April 25, 2024 13:33 39m 28s main
main
April 25, 2024 13:33 39m 28s
feat!: bring back Value (#967) Unsoundness checks #465: Commit 0c354b6 pushed by github-merge-queue bot
April 25, 2024 08:38 38m 2s main
main
April 25, 2024 08:38 38m 2s
ci: Make a comment when the PR title is wrongly formatted (#965) Unsoundness checks #464: Commit 6a9e6eb pushed by github-merge-queue bot
April 23, 2024 11:41 36m 35s main
main
April 23, 2024 11:41 36m 35s
ci(deps): bump slackapi/slack-github-action from 1.25.0 to 1.26.0 (#961) Unsoundness checks #463: Commit e2b3076 pushed by github-merge-queue bot
April 23, 2024 09:52 36m 38s main
main
April 23, 2024 09:52 36m 38s
chore: Merge v0.3.1 changes onto main (#963) Unsoundness checks #462: Commit eb89a62 pushed by github-merge-queue bot
April 23, 2024 09:51 1m 33s main
main
April 23, 2024 09:51 1m 33s
feat: Encoder metadata in serialized hugr (#955) Unsoundness checks #461: Commit 0a44d48 pushed by github-merge-queue bot
April 19, 2024 13:03 41m 50s main
main
April 19, 2024 13:03 41m 50s
fix: serialization round-trips (#948) Unsoundness checks #460: Commit 9d2de07 pushed by github-merge-queue bot
April 19, 2024 11:23 37m 14s main
main
April 19, 2024 11:23 37m 14s
chore: devenv update (#953) Unsoundness checks #459: Commit 1398bd4 pushed by github-merge-queue bot
April 19, 2024 09:19 21m 35s main
main
April 19, 2024 09:19 21m 35s
feat!: Add non_exhaustive to various enums (#952) Unsoundness checks #458: Commit 0ea79d0 pushed by github-merge-queue bot
April 18, 2024 15:53 20m 40s main
main
April 18, 2024 15:53 20m 40s
feat: CustomOp::extension utility function (#951) Unsoundness checks #457: Commit 8cd3ee9 pushed by github-merge-queue bot
April 18, 2024 13:21 21m 48s main
main
April 18, 2024 13:21 21m 48s
feat: Add string type and print function to prelude (#942) Unsoundness checks #456: Commit b7df2ef pushed by github-merge-queue bot
April 17, 2024 12:48 21m 26s main
main
April 17, 2024 12:48 21m 26s
test: Add a test of instantiating an extension set (#939) Unsoundness checks #455: Commit d016665 pushed by github-merge-queue bot
April 16, 2024 15:37 21m 33s main
main
April 16, 2024 15:37 21m 33s
feat: new methods for leaf ops (#940) Unsoundness checks #454: Commit 33fea08 pushed by github-merge-queue bot
April 16, 2024 11:10 21m 13s main
main
April 16, 2024 11:10 21m 13s
fix: Set default value for Conditional.sum_rows (#934) Unsoundness checks #453: Commit d69198e pushed by github-merge-queue bot
April 16, 2024 09:34 23m 14s main
main
April 16, 2024 09:34 23m 14s
docs: Specify minimum tool versions in DEVELOPMENT.md (#937) Unsoundness checks #452: Commit 0bfc9dd pushed by github-merge-queue bot
April 16, 2024 09:30 3m 53s main
main
April 16, 2024 09:30 3m 53s
feat: 'Replace' rewrite returns node map (#929) Unsoundness checks #451: Commit b9853d5 pushed by github-merge-queue bot
April 16, 2024 09:15 15m 45s main
main
April 16, 2024 09:15 15m 45s
ci: Debug logging on python wheels job (#933) Unsoundness checks #450: Commit 477fa95 pushed by github-merge-queue bot
April 15, 2024 16:27 20m 13s main
main
April 15, 2024 16:27 20m 13s
chore(main): release hugr-py 0.1.0 (#932) Unsoundness checks #449: Commit 880ffed pushed by github-merge-queue bot
April 15, 2024 15:58 20m 24s main
main
April 15, 2024 15:58 20m 24s
chore: Add py.typed marker (#931) Unsoundness checks #448: Commit 9c9cd2c pushed by github-merge-queue bot
April 15, 2024 15:33 21m 27s main
main
April 15, 2024 15:33 21m 27s
ci: fix package name in release-please (#930) Unsoundness checks #447: Commit ef024f2 pushed by github-merge-queue bot
April 15, 2024 15:16 17m 20s main
main
April 15, 2024 15:16 17m 20s
chore(deps): update rstest requirement from 0.18.1 to 0.19.0 (#927) Unsoundness checks #446: Commit 18ac277 pushed by github-merge-queue bot
April 15, 2024 11:23 20m 57s main
main
April 15, 2024 11:23 20m 57s
ci: setup release-please for python (#926) Unsoundness checks #445: Commit 49f8e80 pushed by github-merge-queue bot
April 15, 2024 11:15 8m 39s main
main
April 15, 2024 11:15 8m 39s
chore: release v0.3.0-alpha.2 (#898) Unsoundness checks #444: Commit e71489a pushed by github-merge-queue bot
April 15, 2024 10:43 20m 45s main
main
April 15, 2024 10:43 20m 45s
docs: add logo svg to readme and spec (#925) Unsoundness checks #443: Commit 0bab478 pushed by github-merge-queue bot
April 15, 2024 10:02 22m 32s main
main
April 15, 2024 10:02 22m 32s
docs: Modify specification of trunc_u and trunc_s. (#924) Unsoundness checks #442: Commit a4db014 pushed by github-merge-queue bot
April 12, 2024 14:55 20m 15s main
main
April 12, 2024 14:55 20m 15s