Skip to content

[ci] Default value for MAKE_ARGS

Moritz Angermann requested to merge wip/angerman/ci-make-args-default into ghc-8.10

Merge request reports