justheuristic 177d81bea6 CI: use GIT_REF_NAME instead of GIT_HEAD_REF (#28) vor 3 Jahren
..
check-style.yaml eb0a6be716 Clean up readme (#24) vor 3 Jahren
run-tests.yaml 177d81bea6 CI: use GIT_REF_NAME instead of GIT_HEAD_REF (#28) vor 3 Jahren