Théo Zimmermann (Oct 27 2020 at 15:27): 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?
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:
Théo Zimmermann (Oct 27 2020 at 15:33):https://github.com/coq/coq/runs/1308349025
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: Jun 04 2023 at 22:30 UTC