manually update cabal package list

runtimeverification · Jul 14, 2023 · 24c89ad · 24c89ad
1 parent 5b9528f
commit 24c89ad
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/update-deps.yml b/.github/workflows/update-deps.yml
@@ -66,6 +66,7 @@ jobs:
           fi
 
           if ${changed}; then
+            cabal update
             scripts/update-haskell-backend.sh ${haskell_backend_version}
             git add flake.lock stack.yaml cabal.project cabal.project.freeze
             git commit -m "update haskell-backend to version ${haskell_backend_version}"