Skip to content

Commit

Permalink
⏪ Revert Z3 on ARM changes
Browse files Browse the repository at this point in the history
  • Loading branch information
marcelwa committed Jan 23, 2025
1 parent a8a72dc commit 2304121
Showing 1 changed file with 7 additions and 2 deletions.
9 changes: 7 additions & 2 deletions .github/workflows/ubuntu.yml
Original file line number Diff line number Diff line change
Expand Up @@ -106,10 +106,15 @@ jobs:
uses: rui314/setup-mold@v1

- name: Setup Z3 Solver
if: matrix.os != 'ubuntu-24.04-arm'
id: z3
uses: cda-tum/setup-z3@v1
with:
version: ${{env.Z3_VERSION}}
platform: linux
architecture: x64
env:
GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}

# Build and test pipeline for Debug mode

Expand All @@ -128,7 +133,7 @@ jobs:
-DFICTION_TEST=ON
-DFICTION_BENCHMARK=OFF
-DFICTION_EXPERIMENTS=ON
-DFICTION_Z3=ON
${{ matrix.os != 'ubuntu-24.04-arm' && '-DFICTION_Z3=ON' || '' }}
-DFICTION_ENABLE_MUGEN=ON
-DFICTION_PROGRESS_BARS=OFF
-DFICTION_WARNINGS_AS_ERRORS=OFF
Expand Down Expand Up @@ -159,7 +164,7 @@ jobs:
-DFICTION_TEST=ON
-DFICTION_BENCHMARK=OFF
-DFICTION_EXPERIMENTS=ON
-DFICTION_Z3=ON
${{ matrix.os != 'ubuntu-24.04-arm' && '-DFICTION_Z3=ON' || '' }}
-DFICTION_ENABLE_MUGEN=ON
-DFICTION_PROGRESS_BARS=OFF
-DFICTION_WARNINGS_AS_ERRORS=OFF
Expand Down

0 comments on commit 2304121

Please sign in to comment.