Use workflow actions #1
Description
We can now emit annotations directly instead of going through API stuff.
See https://docs.github.com/en/actions/learn-github-actions/workflow-commands-for-github-actions
{{ message }}
We can now emit annotations directly instead of going through API stuff.
See https://docs.github.com/en/actions/learn-github-actions/workflow-commands-for-github-actions