spaces deleted

jesyspa · Oct 17, 2024 · f3c58d3 · f3c58d3
1 parent 1525353
commit f3c58d3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/gradle.yml b/.github/workflows/gradle.yml
@@ -30,7 +30,7 @@ jobs:
         version: 4.8.7
 
     - name: Setup Z3_EXE
-      run: export Z3_EXE = ${{ steps.z3.outputs.z3-root }}
+      run: export Z3_EXE=${{ steps.z3.outputs.z3-root }}
 
     - name: Set up JDK 11
       uses: actions/setup-java@v3