Improve warning on GitHub

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:
albert-github 2023-05-16 11:38:09 +02:00
parent d6581363f5
commit 8a2f9793cb
1 changed files with 1 additions and 1 deletions

View File

@ -160,7 +160,7 @@ jobs:
script: |
const error = process.env.ERRORMSG
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({
owner: "CGAL",
repo: "cgal",