| .. |
|
workflows
|
585bc5e0ea
Follow up bfcca2fe79fb3a7c16bfeaf114bc5545a27d3df5 - Fixes #3372 - build-docker-image GitHub action builds from wrong (debug) branch.
|
3 years ago |
|
ISSUE_TEMPLATE.md
|
6a288edc3f
changed issue template
|
6 years ago |
|
PULL_REQUEST_TEMPLATE.md
|
6adce80bae
Added test requirement info text for pull reqeusts.
|
6 years ago |
|
ci.sh
|
231a7aaf65
Follow up - 0798e7d47ed2505ea43dccdb9c1ef867d700f720 - moved from circle ci to github actions. (Re-)enable rubocop.
|
4 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.
|
4 years ago |
|
lint-scripts.sh
|
0798e7d47e
moved from circle ci to github actions
|
4 years ago |
Thorsten Eckel
585bc5e0ea
Follow up bfcca2fe79fb3a7c16bfeaf114bc5545a27d3df5 - Fixes #3372 - build-docker-image GitHub action builds from wrong (debug) branch.