mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-01-18 16:28:56 +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 • committed by GitHub
parent c2a8416d3b
commit cfe780cd71
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
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
run: |
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)