From 0d0cadf5782ccc86e667f058f4ec61f37e0175ac Mon Sep 17 00:00:00 2001 From: Callum Macpherson Date: Tue, 5 May 2026 12:08:11 +0100 Subject: [PATCH 1/3] fix: address Miri unsoundness by installing nextest --- .github/workflows/unsoundness.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/unsoundness.yml b/.github/workflows/unsoundness.yml index 6fc6df3e8..816a57655 100644 --- a/.github/workflows/unsoundness.yml +++ b/.github/workflows/unsoundness.yml @@ -48,6 +48,7 @@ jobs: # # Skip tests that take over 5mins in CI. - name: Test with Miri + - uses: taiki-e/install-action@nextest run: | cargo miri nextest run --no-default-features -- \ `# -------- tket::passes` \ From cc088c7a56a5c8e98b3d1b356d77f8ac0e3f135b Mon Sep 17 00:00:00 2001 From: Callum Macpherson Date: Tue, 5 May 2026 12:14:17 +0100 Subject: [PATCH 2/3] fix invalid workflow --- .github/workflows/unsoundness.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/unsoundness.yml b/.github/workflows/unsoundness.yml index 816a57655..058070637 100644 --- a/.github/workflows/unsoundness.yml +++ b/.github/workflows/unsoundness.yml @@ -47,8 +47,10 @@ jobs: # Run miri unsoundness checks. # # Skip tests that take over 5mins in CI. + + - name: Install nextest + uses: taiki-e/install-action@nextest - name: Test with Miri - - uses: taiki-e/install-action@nextest run: | cargo miri nextest run --no-default-features -- \ `# -------- tket::passes` \ From 133ebb6e042c548daedad355bbe5f4aab5fbf358 Mon Sep 17 00:00:00 2001 From: Callum Macpherson Date: Tue, 5 May 2026 12:16:00 +0100 Subject: [PATCH 3/3] comment ordering --- .github/workflows/unsoundness.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/unsoundness.yml b/.github/workflows/unsoundness.yml index 058070637..1e2e2578e 100644 --- a/.github/workflows/unsoundness.yml +++ b/.github/workflows/unsoundness.yml @@ -44,12 +44,12 @@ jobs: cargo miri setup - uses: quantinuum/hugrverse-env/install-hugrenv-action@main + - name: Install nextest + uses: taiki-e/install-action@nextest + # Run miri unsoundness checks. # # Skip tests that take over 5mins in CI. - - - name: Install nextest - uses: taiki-e/install-action@nextest - name: Test with Miri run: | cargo miri nextest run --no-default-features -- \