diff --git a/.gitea/workflows/checks.yml b/.gitea/workflows/checks.yml index 46abece..ba9748e 100644 --- a/.gitea/workflows/checks.yml +++ b/.gitea/workflows/checks.yml @@ -101,3 +101,4 @@ jobs: - name: P99 clean up if: always() run: rm -rf "$WS" || true +# probe C3 - a third push, to see whether the QUEUED run 561 survives it