REBASE OUT

runtimeverification · Mar 7, 2024 · d6de9d3 · d6de9d3
1 parent 3398094
commit d6de9d3
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/.github/workflows/update-deps.yml b/.github/workflows/update-deps.yml
@@ -30,3 +30,6 @@ 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: 'Push updates'
+        run: git push
diff --git a/matching/deps/scala_kore_release b/matching/deps/scala_kore_release
@@ -1 +1 @@
-0.3.0
+0.3.1