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: release v0.3.0-alpha.1 (#916) Unsoundness checks #435: Commit 436c438 pushed by github-merge-queue bot
April 4, 2024 09:48 18m 55s main
main
April 4, 2024 09:48 18m 55s
feat(rust)!: rename crate to hugr (#914) Unsoundness checks #434: Commit 0565fee pushed by github-merge-queue bot
April 3, 2024 17:20 21m 2s main
main
April 3, 2024 17:20 21m 2s
feat(py)!: Rename package to hugr (#913) Unsoundness checks #433: Commit 9fe65db pushed by github-merge-queue bot
April 3, 2024 17:18 2m 24s main
main
April 3, 2024 17:18 2m 24s
ci: Fix pypi token config (#912) Unsoundness checks #432: Commit ff9d786 pushed by github-merge-queue bot
April 3, 2024 13:55 19m 38s main
main
April 3, 2024 13:55 19m 38s
ci: Fix wheels job (#911) Unsoundness checks #431: Commit 142ca5e pushed by github-merge-queue bot
April 3, 2024 13:41 14m 22s main
main
April 3, 2024 13:41 14m 22s
ci: Publish python package to pypi (#908) Unsoundness checks #430: Commit 622f0e2 pushed by github-merge-queue bot
April 3, 2024 13:33 8m 2s main
main
April 3, 2024 13:33 8m 2s
fix: polymorphic calls (#901) Unsoundness checks #429: Commit a2e4d05 pushed by github-merge-queue bot
April 2, 2024 11:22 19m 11s main
main
April 2, 2024 11:22 19m 11s
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
ProTip! You can narrow down the results and go further in time using created:<2024-03-14 or the other filters available.