songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Minor automated message improvements

This commit is contained in:
Mael Rouxel-Labbé 2021-09-08 16:07:43 +02:00
parent 64738572f8
commit edec8b0784
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/build_doc.yml vendored
View File

@ -109,7 +109,7 @@ jobs:
mv tmp.html index.html mv tmp.html index.html
git add ${PR_NUMBER}/$ROUND index.html && git commit -q --amend -m "base commit" && git push -q -f -u origin master git add ${PR_NUMBER}/$ROUND index.html && git commit -q --amend -m "base commit" && git push -q -f -u origin master
else else
echo "::set-output name=DoxygenError::This round already exists. Overwrite it with /force-build" echo "::set-output name=DoxygenError::This round already exists. Overwrite it with /force-build."
exit 1 exit 1
fi fi
@ -121,7 +121,7 @@ jobs:
const tmp_round = "${{ steps.get_round.outputs.result }}"; const tmp_round = "${{ steps.get_round.outputs.result }}";
const id = tmp_round.indexOf(":"); const id = tmp_round.indexOf(":");
const round = tmp_round.substring(0,id); const round = tmp_round.substring(0,id);
const address = "The documentation is built. It will be available, after a few minutes, here : https://cgal.github.io/${{ steps.get_pr_number.outputs.result }}/"+round+"/Manual/index.html" const address = "The documentation is built. It will be available, after a few minutes, here: https://cgal.github.io/${{ steps.get_pr_number.outputs.result }}/"+round+"/Manual/index.html"
github.issues.createComment({ github.issues.createComment({
owner: "CGAL", owner: "CGAL",
repo: "cgal", repo: "cgal",

2
.github/workflows/filter_testsuite.yml vendored
View File

@ -61,7 +61,7 @@ jobs:
uses: actions/github-script@v3 uses: actions/github-script@v3
with: with:
script: | script: |
const address = "The testsuite is lauched. results will be found, after it is done, here : https://cgal.geometryfactory.com/~cgaltest/test_suite/TESTRESULTS/index.shtml " const address = "Testsuite launched. Result page: https://cgal.geometryfactory.com/~cgaltest/test_suite/TESTRESULTS/index.shtml "
github.issues.createComment({ github.issues.createComment({
owner: "CGAL", owner: "CGAL",
repo: "cgal", repo: "cgal",