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

feat: Make various data publicly accessible (#875) Unsoundness checks #410: Commit 6ff6c01 pushed by github-merge-queue bot
March 14, 2024 09:44 19m 22s main
main
March 14, 2024 09:44 19m 22s
chore: Re-enable missing-docs lint (#876) Unsoundness checks #409: Commit db1d11c pushed by github-merge-queue bot
March 13, 2024 16:12 18m 46s main
main
March 13, 2024 16:12 18m 46s
feat!: Change sums to be over TypeRows rather than Types (#863) Unsoundness checks #408: Commit 46a7fba pushed by github-merge-queue bot
March 12, 2024 14:17 19m 34s main
main
March 12, 2024 14:17 19m 34s
feat!: Cleaner error on wiring errors while building (#873) Unsoundness checks #407: Commit 2c1539c pushed by github-merge-queue bot
March 11, 2024 16:09 20m 27s main
main
March 11, 2024 16:09 20m 27s
feat!: Make some Container methods infallible (#872) Unsoundness checks #406: Commit 3419fba pushed by github-merge-queue bot
March 11, 2024 15:55 13m 34s main
main
March 11, 2024 15:55 13m 34s
feat: CircuitBuilder::append_with_output_arr (#871) Unsoundness checks #405: Commit 87b9aab pushed by github-merge-queue bot
March 8, 2024 14:51 18m 21s main
main
March 8, 2024 14:51 18m 21s
feat: Ancilla support in CircuitBuilder (#867) Unsoundness checks #404: Commit 441c887 pushed by github-merge-queue bot
March 8, 2024 14:35 15m 57s main
main
March 8, 2024 14:35 15m 57s
feat!: infallible HugrMut methods (#869) Unsoundness checks #403: Commit 5b450ff pushed by github-merge-queue bot
March 8, 2024 11:13 19m 14s main
main
March 8, 2024 11:13 19m 14s
ci: Skip invalid miri test, avoid concurrent undsoundness checks (#870) Unsoundness checks #402: Commit 497f43c pushed by github-merge-queue bot
March 7, 2024 17:11 16m 24s main
main
March 7, 2024 17:11 16m 24s
chore: Add a rust workspace (#868) Unsoundness checks #401: Commit d93e795 pushed by github-merge-queue bot
March 7, 2024 16:26 14m 26s main
main
March 7, 2024 16:26 14m 26s
docs(spec): Clarify note on edges (#862) Unsoundness checks #400: Commit fa54d0f pushed by github-merge-queue bot
March 7, 2024 16:23 15m 40s main
main
March 7, 2024 16:23 15m 40s
feat: Add impl TryFrom<&OpType> for ops::* (#856) Unsoundness checks #399: Commit dee2d1f pushed by github-merge-queue bot
March 6, 2024 12:59 14m 34s main
main
March 6, 2024 12:59 14m 34s
docs(spec): Add note on serialized hugr node order (#849) Unsoundness checks #398: Commit eef8972 pushed by github-merge-queue bot
March 6, 2024 09:47 14m 21s main
main
March 6, 2024 09:47 14m 21s
feat: Mermaid renderer for hugrs (#852) Unsoundness checks #397: Commit 3fb833a pushed by github-merge-queue bot
March 5, 2024 15:37 14m 5s main
main
March 5, 2024 15:37 14m 5s
refactor: Remove clone in ExtensionSet::union (#859) Unsoundness checks #396: Commit c02ab92 pushed by github-merge-queue bot
March 5, 2024 15:05 16m 55s main
main
March 5, 2024 15:05 16m 55s
refactor: Add From conversion from ExtensionId to ExtensionSet (#855) Unsoundness checks #395: Commit 6be3ca2 pushed by github-merge-queue bot
March 5, 2024 14:02 14m 13s main
main
March 5, 2024 14:02 14m 13s
feat: don't include empty type args in Display (#857) Unsoundness checks #394: Commit 697e7d7 pushed by github-merge-queue bot
March 4, 2024 14:41 14m 47s main
main
March 4, 2024 14:41 14m 47s
docs: Add builder module docs + example (#853) Unsoundness checks #393: Commit 065f675 pushed by github-merge-queue bot
March 1, 2024 16:28 15m 13s main
main
March 1, 2024 16:28 15m 13s
ci: Compute coverage with and without experimental features (#851) Unsoundness checks #392: Commit 197541b pushed by github-merge-queue bot
February 28, 2024 15:09 13m 46s main
main
February 28, 2024 15:09 13m 46s
feat: Make all core types serializable (#850) Unsoundness checks #391: Commit ff5f117 pushed by github-merge-queue bot
February 28, 2024 13:19 15m 4s main
main
February 28, 2024 13:19 15m 4s
docs: HUGR spec copyediting (#843) Unsoundness checks #390: Commit 8ade90c pushed by github-merge-queue bot
February 21, 2024 14:33 14m 38s main
main
February 21, 2024 14:33 14m 38s
feat: Arbitrary types in the yaml extension definition (#839) Unsoundness checks #389: Commit 4a4834c pushed by github-merge-queue bot
February 21, 2024 12:25 15m 7s main
main
February 21, 2024 12:25 15m 7s
chore: Fix crates.io category capitalization (#838) Unsoundness checks #388: Commit 2c9ae82 pushed by github-merge-queue bot
February 20, 2024 16:38 16m 20s main
main
February 20, 2024 16:38 16m 20s
chore: release v0.2.0 (#837) Unsoundness checks #387: Commit 4985850 pushed by github-merge-queue bot
February 20, 2024 14:32 15m 4s main
main
February 20, 2024 14:32 15m 4s
docs: Add example to CFGBuilder (#826) Unsoundness checks #386: Commit bb43e11 pushed by github-merge-queue bot
February 20, 2024 14:17 14m 35s main
main
February 20, 2024 14:17 14m 35s
ProTip! You can narrow down the results and go further in time using created:<2024-02-20 or the other filters available.