Fix flake update

runtimeverification · Jul 19, 2024 · a4e6843 · a4e6843
1 parent 42ead27
commit a4e6843
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/update-deps.yml b/.github/workflows/update-deps.yml
@@ -59,7 +59,7 @@ jobs:
           cd llvm-backend/src/main/native/llvm-backend
           git checkout "${llvm_backend_version}"
           cd -
-          sed -i 's!      url = "github:runtimeverification/llvm-backend/.*";!      url = "github:runtimeverification/llvm-backend/'"${llvm_backend_version}"'";!' flake.nix
+          sed -i 's!    url = "github:runtimeverification/llvm-backend/.*";!    url = "github:runtimeverification/llvm-backend/'"${llvm_backend_version}"'";!' flake.nix
           if git add flake.nix llvm-backend/src/main/native/llvm-backend && git commit -m "flake.nix, llvm-backend/src/main/native/llvm-backend: update to version ${llvm_backend_version}"; then
             changed=true
           fi