diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
index 979a9b8c..32dc1eef 100644
--- a/.github/workflows/coq.yml
+++ b/.github/workflows/coq.yml
@@ -77,5 +77,3 @@ jobs:
       if: ${{ needs.build.result == 'success' }}
     - run: echo 'build failed' && false
       if: ${{ needs.build.result != 'success' }}
-    - run: echo 'test-standalone failed' && false
-      if: ${{ needs.test-standalone.result != 'success' }}