Skip to content

Actions: CQCL/hugr

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
186 workflow run results
186 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(deps): bump slackapi/slack-github-action from 1.24.0 to 1.25.0 … Unsoundness checks #378: Commit 4f9eeb9 pushed by github-merge-queue bot
January 29, 2024 12:05 15m 27s main
main
January 29, 2024 12:05 15m 27s
chore: update strum to 0.26 (#821) Unsoundness checks #377: Commit a67cbe6 pushed by github-merge-queue bot
January 29, 2024 12:00 15m 47s main
main
January 29, 2024 12:00 15m 47s
chore: add conventional commit to dependabot PRs (#820) Unsoundness checks #376: Commit c251d5d pushed by github-merge-queue bot
January 29, 2024 11:59 14m 54s main
main
January 29, 2024 11:59 14m 54s
docs: remove incorrect indentation in spec (#813) Unsoundness checks #375: Commit c1b9194 pushed by github-merge-queue bot
January 18, 2024 16:07 24m 39s main
main
January 18, 2024 16:07 24m 39s
docs: remove input->const order edges from spec diagrams (#812) Unsoundness checks #374: Commit 2ba6fc2 pushed by github-merge-queue bot
January 18, 2024 09:45 25m 14s main
main
January 18, 2024 09:45 25m 14s
docs: Use absolute links in the README (#811) Unsoundness checks #373: Commit ffa9016 pushed by github-merge-queue bot
January 15, 2024 17:05 24m 33s main
main
January 15, 2024 17:05 24m 33s
docs: Fix crates.io badge in README (#809) Unsoundness checks #372: Commit a0340c2 pushed by github-merge-queue bot
January 15, 2024 16:44 24m 31s main
main
January 15, 2024 16:44 24m 31s
chore: release v0.1.0 (#766) Unsoundness checks #371: Commit 9e71c89 pushed by github-merge-queue bot
January 15, 2024 16:25 24m 36s main
main
January 15, 2024 16:25 24m 36s
docs: Update spec wrt. polymorphism (#791) Unsoundness checks #370: Commit d5e2cd5 pushed by github-merge-queue bot
January 15, 2024 15:02 25m 19s main
main
January 15, 2024 15:02 25m 19s
fix: include schema rather than read file (#807) Unsoundness checks #369: Commit b7543db pushed by github-merge-queue bot
January 15, 2024 13:34 23m 50s main
main
January 15, 2024 13:34 23m 50s
Unsoundness checks Unsoundness checks #368: Manually run by ss2165
January 15, 2024 12:36 25m 43s fix/miri-schema
fix/miri-schema
January 15, 2024 12:36 25m 43s
Unsoundness checks Unsoundness checks #367: Manually run by ss2165
January 15, 2024 12:26 9m 18s fix/miri-schema
fix/miri-schema
January 15, 2024 12:26 9m 18s
Unsoundness checks Unsoundness checks #366: Manually run by ss2165
January 15, 2024 12:24 2m 10s fix/miri-schema
fix/miri-schema
January 15, 2024 12:24 2m 10s
test: add schema validation to roundtrips (#806) Unsoundness checks #365: Commit 57d840c pushed by github-merge-queue bot
January 15, 2024 12:06 11m 37s main
main
January 15, 2024 12:06 11m 37s
docs: add schema v0 (#805) Unsoundness checks #364: Commit cee16b4 pushed by github-merge-queue bot
January 12, 2024 14:55 16m 42s main
main
January 12, 2024 14:55 16m 42s
docs: collection of spec updates for 0.1 (#801) Unsoundness checks #363: Commit b7c9c7c pushed by github-merge-queue bot
January 9, 2024 17:22 14m 12s main
main
January 9, 2024 17:22 14m 12s
feat: Const::from_bool function (#803) Unsoundness checks #362: Commit 492daec pushed by github-merge-queue bot
January 9, 2024 16:14 15m 30s main
main
January 9, 2024 16:14 15m 30s
fix: Ignore unsupported test in miri (#794) Unsoundness checks #361: Commit 3930f10 pushed by github-merge-queue bot
January 9, 2024 15:13 15m 17s main
main
January 9, 2024 15:13 15m 17s
feat: add panic op to prelude (#802) Unsoundness checks #360: Commit 60844fe pushed by github-merge-queue bot
January 9, 2024 14:53 16m 1s main
main
January 9, 2024 14:53 16m 1s
feat: constant folding for list operations (#795) Unsoundness checks #359: Commit 41b55e0 pushed by github-merge-queue bot
January 9, 2024 14:52 14m 46s main
main
January 9, 2024 14:52 14m 46s
docs: mention experimental inference in readme (#800) Unsoundness checks #358: Commit 01258da pushed by github-merge-queue bot
January 9, 2024 14:50 15m 8s main
main
January 9, 2024 14:50 15m 8s
fix: No dataflow_signature for block types (#792) Unsoundness checks #357: Commit d07406c pushed by github-merge-queue bot
January 8, 2024 18:25 14m 40s main
main
January 8, 2024 18:25 14m 40s
refactor: Put extension inference behind a feature gate (#786) Unsoundness checks #356: Commit 2b7de5d pushed by github-merge-queue bot
January 8, 2024 16:30 13m 21s main
main
January 8, 2024 16:30 13m 21s
feat: DataflowParent trait for getting inner signatures (#782) Unsoundness checks #355: Commit 16dce1e pushed by github-merge-queue bot
January 8, 2024 12:13 27m 58s main
main
January 8, 2024 12:13 27m 58s
refactor!: s/RemoveConstIgnore/RemoveLoadConstant (#789) Unsoundness checks #354: Commit 25d03aa pushed by github-merge-queue bot
January 8, 2024 11:37 26m 20s main
main
January 8, 2024 11:37 26m 20s