| .. |
|
ISSUE_TEMPLATE
|
86b449f509
Maintenance: Switch to GitHub issue form templates.
|
2 years ago |
|
workflows
|
2615853856
Maintenance: Fix Github Action CI workflow by adding redis service container.
|
1 year 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
2615853856
Maintenance: Fix Github Action CI workflow by adding redis service container.