max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: CI: fix stage2 release build (#13790)

Browse source 
If we're using the downloaded LLVM release and building stage2/stage3,
we need to also copy stage1 to stage2/stage3 respectively before
continuing the build. Previously, the CI did not do this in every case.
Now we do it unconditionally because the overhead is small enough.
This commit is contained in:
Garmelon 2026-05-19 20:23:57 +01:00 • committed by GitHub
parent 29adf42309
commit 0a75e1d92f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
.github/workflows/build-template.yml vendored
View file

@ -145,9 +145,8 @@ jobs:
if [[ -n '${{ matrix.prepare-llvm }}' ]]; then if [[ -n '${{ matrix.prepare-llvm }}' ]]; then
wget -q ${{ matrix.llvm-url }} wget -q ${{ matrix.llvm-url }}
PREPARE="$(${{ matrix.prepare-llvm }})" PREPARE="$(${{ matrix.prepare-llvm }})"
if [ "$TARGET_STAGE" == "stage2" ]; then cp -r stage1 stage2
cp -r stage1 stage2 cp -r stage1 stage3
fi
eval "OPTIONS+=($PREPARE)" eval "OPTIONS+=($PREPARE)"
fi fi
if [[ -n '${{ matrix.release }}' && -n '${{ inputs.nightly }}' ]]; then if [[ -n '${{ matrix.release }}' && -n '${{ inputs.nightly }}' ]]; then