justheuristic 177d81bea6 CI: use GIT_REF_NAME instead of GIT_HEAD_REF (#28) vor 3 Jahren
..
workflows 177d81bea6 CI: use GIT_REF_NAME instead of GIT_HEAD_REF (#28) vor 3 Jahren