Push updates and invalidate maven packages hash

runtimeverification · Mar 7, 2024 · f3b80a2 · f3b80a2
1 parent 3398094
commit f3b80a2
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/update-deps.yml b/.github/workflows/update-deps.yml
@@ -30,3 +30,10 @@ jobs:
           SCALA_KORE_VERSION="$(cat matching/deps/scala_kore_release)"
           sed -i 's!^    <scala-kore.version>.*</scala-kore.version>$!    <scala-kore.version>'"${SCALA_KORE_VERSION}"'</scala-kore.version>!' matching/pom.xml
           git add matching/pom.xml && git commit -m "matching: update scala-kore to ${SCALA_KORE_VERSION}" || true
+
+      - name: 'Invalidate Nix Maven hash'
+        run:
+          sed -i 's!    mvnHash = "sha256-.*";!    mvnHash = "";!' nix/overlay.nix
+
+      - name: 'Push updates'
+        run: git push