Skip to content

[ci] default value for CONFIGURE_ARGS

Moritz Angermann requested to merge wip/angerman/unbreak-ci into ghc-8.10

Merge request reports