Skip to content

Actions: CQCL/hugr

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
315 workflow run results
315 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
refactor!: Merge CustomOp and ExternalOp. (#923) Unsoundness checks #441: Commit c4a5631 pushed by github-merge-queue bot
April 12, 2024 14:31 23m 50s main
main
April 12, 2024 14:31 23m 50s
feat!: Flatten LeafOp (#922) Unsoundness checks #440: Commit 3598913 pushed by github-merge-queue bot
April 12, 2024 14:17 14m 5s main
main
April 12, 2024 14:17 14m 5s
docs: Specify direct children in HugrView::children (#921) Unsoundness checks #439: Commit 75e75e8 pushed by github-merge-queue bot
April 11, 2024 09:28 20m 45s main
main
April 11, 2024 09:28 20m 45s
refactor: Combine ExtensionSolutions (no separate closure) (#884) Unsoundness checks #438: Commit d98fb79 pushed by github-merge-queue bot
April 9, 2024 13:45 20m 19s main
main
April 9, 2024 13:45 20m 19s
feat: No polymorphic closures (#906) Unsoundness checks #437: Commit b05dd6b pushed by github-merge-queue bot
April 9, 2024 11:15 23m 14s main
main
April 9, 2024 11:15 23m 14s
docs: Fix links to homepage and repository. (#917) Unsoundness checks #436: Commit 100e2cc pushed by github-merge-queue bot
April 4, 2024 11:48 18m 18s main
main
April 4, 2024 11:48 18m 18s