1.0.4

cda-tum · Sep 13, 2022 · 3fd3733 · 3fd3733
1 parent f982eac
commit 3fd3733
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "setup-z3",
-  "version": "1.0.3",
+  "version": "1.0.4",
   "description": "A GitHub action to set up a specific version of the Z3 theorem prover in a GitHub Actions workflow.",
   "main": "lib/main.js",
   "type": "module",