mirror of https://github.com/CGAL/cgal
update
This commit is contained in:
parent
e20d663ef7
commit
d73be1db7f
|
|
@ -201,7 +201,7 @@ jobs:
|
||||||
if: ${{ success() }}
|
if: ${{ success() }}
|
||||||
with:
|
with:
|
||||||
script: |
|
script: |
|
||||||
const round = ${{ env.doc_version }}
|
const round = "${{ env.doc_version }}""
|
||||||
const address = "The documentation is built. It will be available, after a few minutes, here: https://cgal.github.io/${{ env.pr_number }}/"+round+"/Manual/index.html"
|
const address = "The documentation is built. It will be available, after a few minutes, here: https://cgal.github.io/${{ env.pr_number }}/"+round+"/Manual/index.html"
|
||||||
github.rest.issues.createComment({
|
github.rest.issues.createComment({
|
||||||
owner: "CGAL",
|
owner: "CGAL",
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue