Dirk Hohndel de194d56be GitHub Actions: better job names ...

This makes it more obvious which action actually failed.

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>

2020-12-17 09:17:54 -08:00

..

workflows

GitHub Actions: better job names

2020-12-17 09:17:54 -08:00

ISSUE_TEMPLATE.md

Small changes to the issue template

2017-10-28 16:59:20 +02:00

PULL_REQUEST_TEMPLATE.md

release-notes: use CHANGELOG.md

2017-11-28 19:05:04 -08:00