diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml index 974d8e55f2f..8657f56e4a0 100644 --- a/.github/workflows/build_doc.yml +++ b/.github/workflows/build_doc.yml @@ -109,7 +109,7 @@ jobs: 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 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 fi @@ -121,7 +121,7 @@ jobs: const tmp_round = "${{ steps.get_round.outputs.result }}"; const id = tmp_round.indexOf(":"); 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({ owner: "CGAL", repo: "cgal", diff --git a/.github/workflows/filter_testsuite.yml b/.github/workflows/filter_testsuite.yml index a79a68dbff6..1e7285722e8 100644 --- a/.github/workflows/filter_testsuite.yml +++ b/.github/workflows/filter_testsuite.yml @@ -61,7 +61,7 @@ jobs: uses: actions/github-script@v3 with: 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({ owner: "CGAL", repo: "cgal",