MAYBE NOW ci.yml WILL WORK

elsoroka · Jun 22, 2023 · df238bd · df238bd
1 parent d83a3d4
commit df238bd
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -7,11 +7,12 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@master
+      - name: Setup z3
+        run: sudo apt-get -y install z3
       - name: Set up Julia 1.8.0
         uses: julia-actions/setup-julia@v1
         with:
           version: "1.8.0"
-        run: sudo apt-get -y install z3
       - uses: julia-actions/julia-buildpkg@v1
       - uses: julia-actions/julia-runtest@v1
       - uses: julia-actions/julia-processcoverage@v1