diff --git a/.github/workflows/update-deps.yml b/.github/workflows/update-deps.yml index 338ee6ff6..02d7ae80a 100644 --- a/.github/workflows/update-deps.yml +++ b/.github/workflows/update-deps.yml @@ -11,7 +11,7 @@ concurrency: jobs: update-versions: - name: 'Update K version' + name: 'Update scala-kore version' runs-on: ubuntu-latest steps: - name: 'Check out code' @@ -28,5 +28,5 @@ jobs: - name: 'Update scala-kore release tag' run: | SCALA_KORE_VERSION="$(cat matching/deps/scala_kore_release)" - sed -i "s!^ .*$! ${SCALA_KORE_VERSION}!" matching/pom.xml + sed -i 's!^ .*$! '"${SCALA_KORE_VERSION}"'!' matching/pom.xml git add matching/pom.xml && git commit -m "matching: update scala-kore to ${SCALA_KORE_VERSION}" || true