From a4e6843c106f98a42b3a888fc3729682e9d86a7d Mon Sep 17 00:00:00 2001 From: Bruce Collie Date: Fri, 19 Jul 2024 19:16:48 +0100 Subject: [PATCH] Fix flake update --- .github/workflows/update-deps.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/update-deps.yml b/.github/workflows/update-deps.yml index 9a66903a64b..58437417deb 100644 --- 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