mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-19 15:04:42 +00:00
Code Activity

Update C++ compiler version in cross-build workflow

Browse source
This commit is contained in:
Nikolaj Bjorner 2026-01-17 05:22:00 -08:00
parent a0dca6b570
commit 021d24d0cb
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/cross-build.yml vendored
View file

@ -30,5 +30,5 @@ jobs:
- name: Configure CMake and build - name: Configure CMake and build
run: | run: |
mkdir build && cd build mkdir build && cd build
cmake -DCMAKE_CXX_COMPILER=${{ matrix.arch }}-linux-gnu-g++-12 ../ cmake -DCMAKE_CXX_COMPILER=${{ matrix.arch }}-linux-gnu-g++-13 ../
make -j$(nproc) make -j$(nproc)