From 8a2f9793cb074b68987dfa00c9c9af3f2c953c3d Mon Sep 17 00:00:00 2001 From: albert-github Date: Tue, 16 May 2023 11:38:09 +0200 Subject: [PATCH] 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) --- .github/workflows/build_doc.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml index 9e445535ac4..39479878b75 100644 --- a/.github/workflows/build_doc.yml +++ b/.github/workflows/build_doc.yml @@ -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",