remove outdated line from copy-paste

mit-plv · Apr 13, 2024 · 8377ad7 · 8377ad7
1 parent 7de29a4
commit 8377ad7
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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' }}