benjamin wil 9ade6d983e Simplify GitHub Action workflow steps ...

Judging by the output in the GitHub Actions workflow UI, the `echo`
steps were not providing much value to us.

We can get rid of them to slightly increase run performance.

I've also named the other steps to make it easier to skim the Actions
workflow output.

2021-12-29 15:43:54 -08:00

..

ISSUE_TEMPLATE

Update bug_report.md

2020-03-30 11:15:51 +02:00

workflows

Simplify GitHub Action workflow steps

2021-12-29 15:43:54 -08:00