| .. |
|
workflows
|
5289db4369
Maintenance: Optimize GitHub Actions configuration.
|
2 years ago |
|
ISSUE_TEMPLATE.md
|
6a288edc3f
changed issue template
|
7 years ago |
|
PULL_REQUEST_TEMPLATE.md
|
5289db4369
Maintenance: Optimize GitHub Actions configuration.
|
2 years ago |
|
docker-image-build.sh
|
dd96c57f48
Follow up - 0798e7d47ed2505ea43dccdb9c1ef867d700f720 - moved from circle ci to github actions. Fixed bug: GITHUB_ACTOR is the user initiating the commit not the repository owner. Applied workaround to extract the repository owner from the GitHub Actions GITHUB_REPOSITORY ENV instead because there is no dedicated ENV for that.
|
5 years ago |
Martin Gruner
5289db4369
Maintenance: Optimize GitHub Actions configuration.