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

Improve warning on GitHub (#7446) 

When the documentation is generated by GitHub Actions and the result is
published on GitHub the warnings are not well / not easy readable.
Placing them in a "fenced code" will improve this. (see e.g.
https://github.com/CGAL/cgal/pull/7445#issuecomment-1549305160)
This commit is contained in:
Laurent Rineau 2023-05-16 18:14:54 +02:00 committed by GitHub
parent d6581363f5 8a2f9793cb
commit c36d6df775
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -160,7 +160,7 @@ jobs:
script: | script: |
const error = process.env.ERRORMSG const error = process.env.ERRORMSG
const job_url = `${context.serverUrl}/CGAL/cgal/actions/runs/${context.runId}` const job_url = `${context.serverUrl}/CGAL/cgal/actions/runs/${context.runId}`
const msg = "There was an error while building the doc: \n"+error + "\n" + job_url const msg = "There was an error while building the doc: \n```\n"+error + "\n```\n" + job_url
github.rest.issues.createComment({ github.rest.issues.createComment({
owner: "CGAL", owner: "CGAL",
repo: "cgal", repo: "cgal",