Skip to content

Actions: CQCL/hugr

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
246 workflow run results
246 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Add From impls for TypeArg (#1002) Unsoundness checks #488: Commit 3370d88 pushed by github-merge-queue bot
May 8, 2024 16:10 11m 57s main
main
May 8, 2024 16:10 11m 57s
refactor: Separate extension validation from the rest (#1011) Unsoundness checks #487: Commit 4ea7dfa pushed by github-merge-queue bot
May 8, 2024 15:56 13m 22s main
main
May 8, 2024 15:56 13m 22s
test: Fix unconnected ports in extension test (#1010) Unsoundness checks #486: Commit 2ac1ebe pushed by github-merge-queue bot
May 8, 2024 11:19 13m 36s main
main
May 8, 2024 11:19 13m 36s
test: Expand test of instantiating extension sets (#1003) Unsoundness checks #485: Commit 4409d1d pushed by github-merge-queue bot
May 8, 2024 08:50 12m 28s main
main
May 8, 2024 08:50 12m 28s
test: fix some bad assert_matches (#1006) Unsoundness checks #484: Commit e5fd315 pushed by github-merge-queue bot
May 7, 2024 12:17 14m 19s main
main
May 7, 2024 12:17 14m 19s
fix!: serialisation fixes (#997) Unsoundness checks #483: Commit 9ce6e49 pushed by github-merge-queue bot
May 7, 2024 11:13 14m 17s main
main
May 7, 2024 11:13 14m 17s
fix: Remove insert_port_types for LoadFunction (#993) Unsoundness checks #482: Commit acca7bf pushed by github-merge-queue bot
May 3, 2024 08:17 12m 44s main
main
May 3, 2024 08:17 12m 44s
chore: run just setup at devenv shell init (#991) Unsoundness checks #481: Commit a858353 pushed by github-merge-queue bot
May 2, 2024 15:04 12m 21s main
main
May 2, 2024 15:04 12m 21s
fix: Correct constant fold for fne. (#995) Unsoundness checks #480: Commit c3d16e7 pushed by github-merge-queue bot
May 2, 2024 12:50 13m 37s main
main
May 2, 2024 12:50 13m 37s
ci(pr-title): Escape variables used in bash scripts (#992) Unsoundness checks #479: Commit 4b9d3da pushed by github-merge-queue bot
May 2, 2024 11:54 11m 28s main
main
May 2, 2024 11:54 11m 28s
fix: input_port_types and other helper functions on pydantic schema (… Unsoundness checks #478: Commit 8651839 pushed by github-merge-queue bot
May 2, 2024 11:40 11m 24s main
main
May 2, 2024 11:40 11m 24s
test!: test roundtrip serialisation against strict + lax schema (#982) Unsoundness checks #477: Commit 954b2cb pushed by github-merge-queue bot
May 2, 2024 10:52 11m 35s main
main
May 2, 2024 10:52 11m 35s
feat: Add LoadFunction node (#947) Unsoundness checks #476: Commit 81e9602 pushed by github-merge-queue bot
May 2, 2024 10:31 11m 29s main
main
May 2, 2024 10:31 11m 29s
ci: Require BREAKING CHANGES footer in breaking PRs (#987) Unsoundness checks #475: Commit 14c48af pushed by github-merge-queue bot
May 2, 2024 08:20 12m 5s main
main
May 2, 2024 08:20 12m 5s
ci: Move file change filter definitions to a file (#988) Unsoundness checks #474: Commit fc6f17f pushed by github-merge-queue bot
May 1, 2024 16:42 13m 10s main
main
May 1, 2024 16:42 13m 10s
chore: Fix some unstable lints (#971) Unsoundness checks #473: Commit fb76c7e pushed by github-merge-queue bot
April 30, 2024 12:16 12m 4s main
main
April 30, 2024 12:16 12m 4s
fix!: serialisation schema (#968) Unsoundness checks #472: Commit d913f40 pushed by github-merge-queue bot
April 30, 2024 10:30 12m 40s main
main
April 30, 2024 10:30 12m 40s
refactor: outline hugr::serialize::test (#976) Unsoundness checks #471: Commit 76dcc80 pushed by github-merge-queue bot
April 29, 2024 13:25 12m 33s main
main
April 29, 2024 13:25 12m 33s
fix: disable serialisation tests when miri is active (#977) Unsoundness checks #470: Commit c352abf pushed by github-merge-queue bot
April 26, 2024 13:17 12m 19s main
main
April 26, 2024 13:17 12m 19s
Unsoundness checks Unsoundness checks #469: Manually run by doug-q
April 26, 2024 12:32 12m 5s test/no-miri-serialisation2
test/no-miri-serialisation2
April 26, 2024 12:32 12m 5s
Unsoundness checks Unsoundness checks #468: Manually run by doug-q
April 26, 2024 12:25 37s test/no-miri-serialisation2
test/no-miri-serialisation2
April 26, 2024 12:25 37s
test: ignore serialisation tests when using miri (#975) Unsoundness checks #467: Commit ef5485a pushed by github-merge-queue bot
April 26, 2024 07:53 39m 47s main
main
April 26, 2024 07:53 39m 47s
fix!: Combine ConstIntU and ConstIntS (#974) Unsoundness checks #466: Commit 529f553 pushed by github-merge-queue bot
April 25, 2024 13:33 39m 28s main
main
April 25, 2024 13:33 39m 28s
feat!: bring back Value (#967) Unsoundness checks #465: Commit 0c354b6 pushed by github-merge-queue bot
April 25, 2024 08:38 38m 2s main
main
April 25, 2024 08:38 38m 2s
ci: Make a comment when the PR title is wrongly formatted (#965) Unsoundness checks #464: Commit 6a9e6eb pushed by github-merge-queue bot
April 23, 2024 11:41 36m 35s main
main
April 23, 2024 11:41 36m 35s