Stream: coqbot devs & users

Topic: GitLab traces


view this post on Zulip Théo Zimmermann (Oct 27 2020 at 15:27):

In order to duplicate GitLab traces in the GitHub Checks tab, I need to be able to convert bash escape sequences to markdown (or actually HTML since I don't think Markdown natively supports color), or at the very least get rid of escape sequences. Any advice on how to do this? Ideally, there would be an already existing OCaml library doing the conversion. Otherwise, I guess it can be done with an appropriate set of regexps?

view this post on Zulip Théo Zimmermann (Oct 27 2020 at 15:33):

At the moment, the traces are already duplicated on GitHub for "allow failure" failures but no cleaning / transformation step is done for these escape sequences and this gives this:

view this post on Zulip Théo Zimmermann (Oct 27 2020 at 15:33):

https://github.com/coq/coq/runs/1308349025

view this post on Zulip Théo Zimmermann (Oct 27 2020 at 15:34):

(this trace is short because it is an example that should have been restarted automatically, but this is another issue---already taken care of)


Last updated: Jan 31 2023 at 09:01 UTC