www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE

commit db0bb496d22b6cccaf5bed6f7bbf378a085b4220
parent 97cb67e1844d9696a825baa9f558721deec1dcba
Author: Suzanne Soy <jsmaniac.github@suzanne.soy>
Date:   Wed, 28 Jul 2021 17:31:10 +0100

Handle branches and tags

Diffstat:
Mcover/private/github-service.rkt | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cover/private/github-service.rkt b/cover/private/github-service.rkt @@ -14,7 +14,7 @@ (list (cons 'service "custom") (cons 'token (getenv "CODECOV_TOKEN")) ;; TODO: this won't work for tags - (cons 'branch (substring (getenv "GITHUB_REF") (string-length "refs/heads/"))) + (cons 'branch (string-trim (getenv "GITHUB_REF") #px"refs/(heads|tags)/")) (cons 'job (getenv "GITHUB_JOB")) (cons 'slug (getenv "GITHUB_REPOSITORY")) (cons 'build (getenv "GITHUB_RUN_ID"))