Skip to content
GitLab
Explore
Sign in
Register
head.hackage
run-ci
Find file
Blame
Permalink
Nov 03, 2019
5b9238c8
ci: Don't override EXTRA_OPTS
· 5b9238c8
Ben Gamari
authored
Nov 03, 2019
5b9238c8
ci: Don't override EXTRA_OPTS
Ben Gamari
authored
Nov 03, 2019
Loading
Ben Gamari authoredBen Gamari authored