Updated libraries

ftsrg · Mar 11, 2024 · b51522c · b51522c
1 parent c82b7c0
commit b51522c
Show file tree

Hide file tree

Showing 9 changed files with 1 addition and 1 deletion.
diff --git a/.github/actions/cache-build/action.yml b/.github/actions/cache-build/action.yml
@@ -16,5 +16,5 @@ runs:
     - name: build gradle
       uses: gradle/gradle-build-action@40b6781dcdec2762ad36556682ac74e31030cfe2 # v2.5.1
       with:
-        arguments: ${{ inputs.arguments }}
+        arguments: ${{ inputs.arguments }} --info --stacktrace
 
diff --git a/lib/com.microsoft.z3.jar b/lib/com.microsoft.z3.jar
diff --git a/lib/com.microsoft.z3legacy.jar b/lib/com.microsoft.z3legacy.jar
diff --git a/lib/libz3.dll b/lib/libz3.dll
diff --git a/lib/libz3.dylib b/lib/libz3.dylib
diff --git a/lib/libz3.so b/lib/libz3.so
diff --git a/lib/libz3java.dll b/lib/libz3java.dll
diff --git a/lib/libz3java.dylib b/lib/libz3java.dylib
diff --git a/lib/libz3java.so b/lib/libz3java.so