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

chore: Add category and keywords and docs to Cargo.toml (#836) Unsoundness checks #385: Commit 64a85f7 pushed by github-merge-queue bot
February 20, 2024 13:56 15m 33s main
main
February 20, 2024 13:56 15m 33s
feat: Minimal implementation for YAML extensions (#833) Unsoundness checks #384: Commit d69e3a1 pushed by github-merge-queue bot
February 12, 2024 12:06 15m 6s main
main
February 12, 2024 12:06 15m 6s
feat!: impls of CustomConst must be able to report their type (#827) Unsoundness checks #383: Commit b263acb pushed by github-merge-queue bot
February 7, 2024 09:06 15m 10s main
main
February 7, 2024 09:06 15m 10s
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
ProTip! You can narrow down the results and go further in time using created:<2024-01-09 or the other filters available.