Skip to content

Actions: CQCL/hugr

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
589 workflow run results
589 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Add InlineDFG rewrite (#828) Unsoundness checks #382: Commit 3314404 pushed by github-merge-queue bot
February 6, 2024 17:56 15m 32s main
main
February 6, 2024 17:56 15m 32s
chore(deps): bump codecov/codecov-action from 3 to 4 (#831) Unsoundness checks #381: Commit 4df3c36 pushed by github-merge-queue bot
February 6, 2024 13:14 14m 6s main
main
February 6, 2024 13:14 14m 6s
chore(deps): bump mozilla-actions/sccache-action from 0.0.3 to 0.0.4 … Unsoundness checks #380: Commit d8fbaad pushed by github-merge-queue bot
February 6, 2024 13:08 15m 3s main
main
February 6, 2024 13:08 15m 3s
docs: Tweaks to main example (#825) Unsoundness checks #379: Commit c4653f5 pushed by github-merge-queue bot
January 30, 2024 10:40 14m 25s main
main
January 30, 2024 10:40 14m 25s
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
ProTip! You can narrow down the results and go further in time using created:<2024-01-09 or the other filters available.