RedPRL/cooltt

💢 Tighter integration with GitHub Actions

Closed this issue · 1 comments

Relevant documentation: https://docs.github.com/en/actions/using-workflows/workflow-commands-for-github-actions

Errors, warnings, and notices

We can output messages in a format that GitHub Actions understands. For example, output

::warning file=test/a.cooltt,line=3,endLine=4,title=taste it::your Ch'i is critically low

to mark lines 3-4 of test/a.cooltt directly on GitHub.

Grouping

Not sure how useful it is, but we can use ::group:: and ::endgroup:: to have folders.

Handled by RedPRL/asai#2.