Skip to content

Actions: CQCL/hugr

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
194 workflow run results
194 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor!: No Ports in TypeRow (#1087) Unsoundness checks #531: Commit 02f3864 pushed by github-merge-queue bot
May 20, 2024 16:07 27m 33s main
main
May 20, 2024 16:07 27m 33s
chore(main): release hugr-py 0.2.1 (#1040) Unsoundness checks #530: Commit bcffabd pushed by github-merge-queue bot
May 20, 2024 13:14 31m 5s main
main
May 20, 2024 13:14 31m 5s
chore: release v0.4.0 (#1081) Unsoundness checks #529: Commit 0171ccd pushed by github-merge-queue bot
May 20, 2024 12:55 19m 21s main
main
May 20, 2024 12:55 19m 21s
ci: Create release-please's PRs as draft (#1078) Unsoundness checks #528: Commit b703518 pushed by github-merge-queue bot
May 20, 2024 12:40 15m 53s main
main
May 20, 2024 12:40 15m 53s
chore: Run pytest on pre-commit check (#1076) Unsoundness checks #527: Commit 51a253a pushed by github-merge-queue bot
May 17, 2024 14:38 27m 47s main
main
May 17, 2024 14:38 27m 47s
fix: Disallow non-finite values for ConstF64 (#1075) Unsoundness checks #526: Commit 4dba950 pushed by github-merge-queue bot
May 17, 2024 13:52 30m 15s main
main
May 17, 2024 13:52 30m 15s
chore: Declare ci_run flag in build.rs (#1071) Unsoundness checks #525: Commit 4d974cf pushed by github-merge-queue bot
May 17, 2024 13:03 28m 53s main
main
May 17, 2024 13:03 28m 53s
ci: Fix miri proptest error (#1074) Unsoundness checks #524: Commit fd90a2e pushed by github-merge-queue bot
May 17, 2024 12:56 7m 33s main
main
May 17, 2024 12:56 7m 33s
Unsoundness checks Unsoundness checks #523: Manually run by aborgna-q
May 17, 2024 11:52 29m 14s ab/fix-miri-proptest
ab/fix-miri-proptest
May 17, 2024 11:52 29m 14s
ci: Improve times by splitting stable test runs (#1072) Unsoundness checks #522: Commit e65b229 pushed by github-merge-queue bot
May 17, 2024 11:35 9m 24s main
main
May 17, 2024 11:35 9m 24s
ci: Enable crates.io auto-release, but require certain people to appr… Unsoundness checks #521: Commit d2087ce pushed by github-merge-queue bot
May 16, 2024 16:50 9m 10s main
main
May 16, 2024 16:50 9m 10s
ci: publish to pypi on releases or workflow_dispatch for tags (#1068) Unsoundness checks #520: Commit 7be07c5 pushed by github-merge-queue bot
May 16, 2024 16:43 7m 58s main
main
May 16, 2024 16:43 7m 58s
chore: bump devenv.lock (#1066) Unsoundness checks #519: Commit cc7f067 pushed by github-merge-queue bot
May 16, 2024 11:20 9m 25s main
main
May 16, 2024 11:20 9m 25s
test: proptests for round trip serialisation of Types and Ops. (#… Unsoundness checks #518: Commit 0cc4030 pushed by github-merge-queue bot
May 16, 2024 10:20 9m 0s main
main
May 16, 2024 10:20 9m 0s
docs: Update specification of prelude panic op. (#1059) Unsoundness checks #517: Commit 628c8de pushed by github-merge-queue bot
May 16, 2024 08:44 17m 39s main
main
May 16, 2024 08:44 17m 39s
test: really ignore tests which depend on typetag when cfg(miri) (#1058) Unsoundness checks #516: Commit 64cb43c pushed by github-merge-queue bot
May 16, 2024 08:25 18m 18s main
main
May 16, 2024 08:25 18m 18s
Unsoundness checks Unsoundness checks #515: Manually run by doug-q
May 15, 2024 12:26 18m 22s doug/miri-ignore-test_custom_serialized_try_from
doug/miri-ignore-test_custom_serialized_try_from
May 15, 2024 12:26 18m 22s
Unsoundness checks Unsoundness checks #514: Manually run by doug-q
May 15, 2024 12:25 51s doug/miri-ignore-test_custom_serialized_try_from
doug/miri-ignore-test_custom_serialized_try_from
May 15, 2024 12:25 51s
Unsoundness checks Unsoundness checks #513: Manually run by doug-q
May 15, 2024 12:15 10m 0s doug/miri-ignore-test_custom_serialized_try_from
doug/miri-ignore-test_custom_serialized_try_from
May 15, 2024 12:15 10m 0s
Unsoundness checks Unsoundness checks #512: Manually run by doug-q
May 15, 2024 11:52 18m 50s doug/miri-ignore-test_custom_serialized_try_from
doug/miri-ignore-test_custom_serialized_try_from
May 15, 2024 11:52 18m 50s
Unsoundness checks Unsoundness checks #511: Manually run by doug-q
May 15, 2024 11:50 1m 35s doug/miri-ignore-test_custom_serialized_try_from
doug/miri-ignore-test_custom_serialized_try_from
May 15, 2024 11:50 1m 35s
test: ignore tests which depend on typetag when cfg(miri) (#1051) Unsoundness checks #510: Commit 1c422ab pushed by github-merge-queue bot
May 15, 2024 09:58 17m 59s main
main
May 15, 2024 09:58 17m 59s
chore: fix undefined env var in justfile (#1046) Unsoundness checks #509: Commit 48a31d7 pushed by github-merge-queue bot
May 15, 2024 08:45 18m 4s main
main
May 15, 2024 08:45 18m 4s
Unsoundness checks Unsoundness checks #508: Manually run by doug-q
May 15, 2024 07:58 18m 33s doug/miri-ignore-test_custom_serialized_try_from
doug/miri-ignore-test_custom_serialized_try_from
May 15, 2024 07:58 18m 33s
chore: add codeowners file (#1041) Unsoundness checks #507: Commit 99616a0 pushed by github-merge-queue bot
May 14, 2024 15:55 20m 19s main
main
May 14, 2024 15:55 20m 19s