💢 Tighter integration with GitHub Actions
Closed this issue · 1 comments
favonia commented
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.
favonia commented
Handled by RedPRL/asai#2.