Skip to content

Actions: CQCL/hugr

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
224 workflow run results
224 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

revert: Show new contributors in the changelog (#899) Unsoundness checks #428: Commit 8111375 pushed by github-merge-queue bot
March 26, 2024 10:54 20m 30s main
main
March 26, 2024 10:54 20m 30s
chore: Show new contributors in the changelog (#893) Unsoundness checks #427: Commit 25b1013 pushed by github-merge-queue bot
March 26, 2024 10:36 18m 26s main
main
March 26, 2024 10:36 18m 26s
chore(deps): bump actions/setup-python from 3 to 5 (#897) Unsoundness checks #426: Commit ba79207 pushed by github-merge-queue bot
March 26, 2024 10:11 20m 3s main
main
March 26, 2024 10:11 20m 3s
chore(deps): bump actions/checkout from 3 to 4 (#896) Unsoundness checks #425: Commit b883189 pushed by github-merge-queue bot
March 26, 2024 10:11 54s main
main
March 26, 2024 10:11 54s
chore(deps): bump mozilla-actions/sccache-action from 0.0.3 to 0.0.4 … Unsoundness checks #424: Commit b81bfa4 pushed by github-merge-queue bot
March 26, 2024 10:10 1m 10s main
main
March 26, 2024 10:10 1m 10s
chore(deps): bump codecov/codecov-action from 3 to 4 (#894) Unsoundness checks #423: Commit 98c1813 pushed by github-merge-queue bot
March 26, 2024 10:09 42s main
main
March 26, 2024 10:09 42s
perf: Add some simple benchmarks (#892) Unsoundness checks #422: Commit d4569ef pushed by github-merge-queue bot
March 25, 2024 15:54 21m 45s main
main
March 25, 2024 15:54 21m 45s
feat: Replace Tuple with unary sums (#891) Unsoundness checks #421: Commit f1e9600 pushed by github-merge-queue bot
March 25, 2024 13:55 18m 33s main
main
March 25, 2024 13:55 18m 33s
chore: Configure pre-commit, update the justfile (#890) Unsoundness checks #420: Commit 63afb03 pushed by github-merge-queue bot
March 20, 2024 10:58 18m 22s main
main
March 20, 2024 10:58 18m 22s
refactor(Rewrite)!: return impl trait in Rewrite trait (#889) Unsoundness checks #419: Commit 5381831 pushed by github-merge-queue bot
March 20, 2024 09:41 19m 43s main
main
March 20, 2024 09:41 19m 43s
feat: Pydantic model for the serialization schema (#888) Unsoundness checks #418: Commit 3406e88 pushed by github-merge-queue bot
March 19, 2024 17:50 18m 20s main
main
March 19, 2024 17:50 18m 20s
ci: always checkout the repo, even if we don't need the change detect… Unsoundness checks #417: Commit 555b8c0 pushed by github-merge-queue bot
March 19, 2024 11:49 19m 16s main
main
March 19, 2024 11:49 19m 16s
feat: Add a python package (#885) Unsoundness checks #416: Commit c10bad0 pushed by github-merge-queue bot
March 19, 2024 11:32 17m 15s main
main
March 19, 2024 11:32 17m 15s
feat!: Merge Value into Const (#881) Unsoundness checks #415: Commit 76d3ea3 pushed by github-merge-queue bot
March 18, 2024 14:13 17m 24s main
main
March 18, 2024 14:13 17m 24s
feat!: Return the type of FuncDecl in HugrView::get_function_type (… Unsoundness checks #414: Commit 9ef7808 pushed by github-merge-queue bot
March 18, 2024 11:10 18m 32s main
main
March 18, 2024 11:10 18m 32s
refactor: Extension Inference: make fewer things public, rm Meta::new… Unsoundness checks #413: Commit 73dc13c pushed by github-merge-queue bot
March 18, 2024 10:57 14m 7s main
main
March 18, 2024 10:57 14m 7s
chore: Compile the test skipped due to extension_inference (#879) Unsoundness checks #412: Commit 165cdf6 pushed by github-merge-queue bot
March 14, 2024 16:13 17m 48s main
main
March 14, 2024 16:13 17m 48s
feat!: CustomConst is not restricted to being CustomType (#878) Unsoundness checks #411: Commit d5294ad pushed by github-merge-queue bot
March 14, 2024 13:21 19m 23s main
main
March 14, 2024 13:21 19m 23s
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