tree 5a88b27b7baaf8b428fbb13fae3a6c8c17de0307
parent fd6d13d193073c63126f939cb0f767eb739c0d52
author Tobias Bouschen <tobias.bouschen@googlemail.com> 1615813296 +0100
committer Tobias Bouschen <tobias.bouschen@googlemail.com> 1616009483 +0100

Rename GitHub action jobs

Renames the GitHub action "Job" entries to make them distinguishable.
The "Job" entry is used to specify which actions to require before
merging. Therefore, giving them distinct names is important.