GHA: align all install, configure and build steps again

First step towards more unified build steps on GitHub Actions.

Closes #8873
This commit is contained in:
Marc Hoersken 2022-05-18 00:03:16 +02:00
parent 519e5e5f65
commit 498ecdfd64
No known key found for this signature in database
GPG key ID: 61E03CBED7BC859E
14 changed files with 175 additions and 89 deletions

View file

@ -4,9 +4,9 @@ on:
# run for all pushes to master branch
push:
branches:
- master
- master
permissions:
permissions:
# requires issues AND pull-requests write permissions to edit labels on PRs!
issues: write
pull-requests: write