]> git.sesse.net Git - stockfish/commitdiff
projects / stockfish / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: aec8fb3)
Fix failing CI of pull requests
authordisservin <disservin.social@gmail.com>
Tue, 20 Jun 2023 16:27:20 +0000 (18:27 +0200)
committerJoost VandeVondele <Joost.VandeVondele@gmail.com>
Tue, 20 Jun 2023 16:50:12 +0000 (18:50 +0200)
adds a guard to prevent pull requests from trying to delete the previous pre-release

closing https://github.com/official-stockfish/Stockfish/pull/4631

No functional change.


No differences found
Unnamed repository; edit this file 'description' to name the repository.