jirayu_sri/stockfish
1
0
Fork 0
mirror of https://github.com/official-stockfish/Stockfish.git synced 2026-07-22 12:47:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

[CI] Upgrade SDE action

Browse Source 
fix Node.js version dependency, update SDE.

This upgrades to 9.58, upgrade to 10.8 failed with:
Invalid file name and base dir combination: Pin root DLL: pincrt4.dll

Also adjusts Makefile to show PGO bench output on failure

closes https://github.com/official-stockfish/Stockfish/pull/6781

No functional change
This commit is contained in:
Joost VandeVondele
2026-05-10 11:43:17 +02:00
parent 5095cd16c9
commit 6127bf711e
2 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/compilation.yml
+2 -2
View File
@@ -43,10 +43,10 @@ jobs:
- name: Download SDE package - name: Download SDE package
if: ${{ matrix.config.sde }} if: ${{ matrix.config.sde }}
uses: petarpetrovt/setup-sde@2a27a21f27212e473f3cc59a6dac97d8dffe8970 # v3.0 uses: petarpetrovt/setup-sde@d230e06df0ca06ced70000e4a7fa62afc9a2001e # v4.0
with: with:
environmentVariableName: SDE_DIR environmentVariableName: SDE_DIR
sdeVersion: 9.33.0 sdeVersion: 9.58.0
- name: Download the used network from the fishtest framework - name: Download the used network from the fishtest framework
run: make net run: make net
.github/workflows/universal_compilation.yml
+4 -4
View File
@@ -20,10 +20,10 @@ jobs:
version: 15 version: 15
- name: Download SDE package - name: Download SDE package
uses: petarpetrovt/setup-sde@2a27a21f27212e473f3cc59a6dac97d8dffe8970 # v3.0 uses: petarpetrovt/setup-sde@d230e06df0ca06ced70000e4a7fa62afc9a2001e # v4.0
with: with:
environmentVariableName: SDE_DIR environmentVariableName: SDE_DIR
sdeVersion: 9.33.0 sdeVersion: 9.58.0
- name: Build universal binary - name: Build universal binary
run: make -j4 -C src ARCH=x86-64-universal profile-build RUN_PREFIX="$SDE_DIR/sde -future --" run: make -j4 -C src ARCH=x86-64-universal profile-build RUN_PREFIX="$SDE_DIR/sde -future --"
@@ -77,10 +77,10 @@ jobs:
install: mingw-w64-x86_64-gcc make git zip install: mingw-w64-x86_64-gcc make git zip
- name: Download SDE package - name: Download SDE package
uses: petarpetrovt/setup-sde@2a27a21f27212e473f3cc59a6dac97d8dffe8970 # v3.0 uses: petarpetrovt/setup-sde@d230e06df0ca06ced70000e4a7fa62afc9a2001e # v4.0
with: with:
environmentVariableName: SDE_DIR environmentVariableName: SDE_DIR
sdeVersion: 9.33.0 sdeVersion: 9.58.0
- name: Build universal binary - name: Build universal binary
run: | run: |