Fix again.

Matafou · Dec 17, 2023 · ad47f7a · ad47f7a
1 parent df27e5d
commit ad47f7a
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/ci-libhyps.yml b/.github/workflows/ci-libhyps.yml
@@ -56,7 +56,6 @@ jobs:
         with:
           opam_file: 'coq-libhyps.opam'
           custom_image: ${{ matrix.image }}
-      - name: test files
         run: |
           ./configure.sh 
           make