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