fix: ci

andreabedini · andreabedini · commit eec3056715c4 · 2025-02-14T18:04:29.000+08:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -68,9 +68,6 @@ jobs:
           libraries/Cabal/dist-newstyle
           _build
 
-    - name: Build patched cabal
-      run: make cabal
-
     - # This runs autoconf also in the subdirectories
       run: autoreconf -v
 
