Skip to content
GitLab
Explore
Sign in
Register
ghc
.gitlab
generate-ci
generate-jobs
Find file
Blame
Permalink
Aug 06, 2023
d54b0c1d
ci: set -e for lint-ci-config scripts
· d54b0c1d
Matthew Pickering
authored
Aug 06, 2023
and
Marge Bot
committed
Aug 14, 2023
d54b0c1d
ci: set -e for lint-ci-config scripts
Matthew Pickering
authored
Aug 06, 2023
and
Marge Bot
committed
Aug 14, 2023
Loading
