Update build_doc.yml

This commit is contained in:
Laurent Rineau 2024-10-09 11:28:05 +02:00 committed by GitHub
parent 9cafc4dd4c
commit 2b3e0a7098
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 0 additions and 1 deletions

View File

@ -214,7 +214,6 @@ jobs:
done done
cat index.html | grep -F "$(echo */ | tr ' ' '\n')" > index.html cat index.html | grep -F "$(echo */ | tr ' ' '\n')" > index.html
git add ${PR_NUMBER}/$ROUND index.html && git commit -q --amend -m "sole commit" && git push -q -f -u origin master git add ${PR_NUMBER}/$ROUND index.html && git commit -q --amend -m "sole commit" && git push -q -f -u origin master
exit $exit_code
else else
echo "DoxygenError=This round already exists. Overwrite it with /force-build." >> $GITHUB_OUTPUT echo "DoxygenError=This round already exists. Overwrite it with /force-build." >> $GITHUB_OUTPUT
exit 1 exit 1