From 8d61c520b75d8a15d79879c63d31b51215a1723d Mon Sep 17 00:00:00 2001
From: David Hewitt <mail@davidhewitt.dev>
Date: Sun, 6 Sep 2026 11:43:03 +0100
Subject: [PATCH] ci: require no-std build if `no_std` flag set

---
 .github/workflows/ci.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 97a9990b3e5..be786348a20 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -517,6 +517,7 @@ jobs:
         session: ["test-py", "test-rust", "clippy"]
     env:
       PYO3_WIP_NO_STD: "1"
+    continue-on-error: ${{ !contains(github.event.pull_request.labels.*.name, 'no_std') }}
     steps:
       - uses: actions/checkout@v7.0.1
       - uses: astral-sh/setup-uv@v7
@@ -822,6 +823,7 @@ jobs:
       - docsrs
       - emscripten
       - wasm32-wasip1
+      - no_std
       - test-debug
       - test-version-limits
       - check-feature-powerset