Fix script paths
All checks were successful
CI / ci (Release, ubuntu-latest) (push) Successful in 30s
CI / ci (Release-assertions, ubuntu-latest) (push) Successful in 39s
CI / ci (Debug, ubuntu-latest) (push) Successful in 7m54s
CI / release (ubuntu-latest) (push) Successful in 9s

This commit is contained in:
David Gonzalez Martin 2025-06-24 22:11:33 -06:00
parent 9508cd7275
commit 06f71b71d7

View File

@ -2,9 +2,9 @@
set -eux set -eux
if [[ -n "${BUILD_DEBUG:-}" ]]; then if [[ -n "${BUILD_DEBUG:-}" ]]; then
export BUILD_DEBUG export BUILD_DEBUG
CMAKE_BUILD_TYPE=Debug ./reproduce.sh CMAKE_BUILD_TYPE=Debug ci/reproduce.sh
fi fi
CMAKE_BUILD_TYPE=Release ./reproduce.sh CMAKE_BUILD_TYPE=Release ci/reproduce.sh
CMAKE_BUILD_TYPE=Release-assertions ./reproduce.sh CMAKE_BUILD_TYPE=Release-assertions ci/reproduce.sh
./install.sh ci/install.sh
./release.sh ci/release.sh