Split windows 32 bit and 64 bit jobs, as github windows runners are much slower

This commit is contained in:
Ion Gaztañaga
2025-11-11 20:50:42 +01:00
parent 900177a15e
commit 97520e05ee

View File

@@ -609,9 +609,15 @@ jobs:
fail-fast: false
matrix:
include:
#------------------
#Windows runners are much slower, split 32/64 bit jobs
- toolset: msvc-14.3
cxxstd: "14,17,20,latest"
addrmd: 32,64
addrmd: 32
os: windows-2025
- toolset: msvc-14.3
cxxstd: "14,17,20,latest"
addrmd: 64
os: windows-2025
- toolset: clang-win
cxxstd: "14,17,latest"
@@ -629,6 +635,7 @@ jobs:
- name: Setup Boost
shell: cmd
run: |
Set-MpPreference -DisableRealtimeMonitoring $true
echo GITHUB_REPOSITORY: %GITHUB_REPOSITORY%
for /f %%i in ("%GITHUB_REPOSITORY%") do set LIBRARY=%%~nxi
echo LIBRARY: %LIBRARY%