-
davide authored
gitlab-ci: push performance metrics as git notes to the "GHC Performance Notes" repository.
cc2261d4
Validating GitLab CI configuration…
Learn more
gitlab-ci: push performance metrics as git notes to the "GHC Performance Notes" repository.