Skip to content

Don't overwrite build.mk in CI

Zubin requested to merge wip/fix-8.10-ci into ghc-8.10

Since de890c82 we have been overwriting build.mk right before building. This was likely responsible for #19953 (closed), and perhaps more undiagnosed issues.

Backport of !6025 (closed)

Edited by Zubin

Merge request reports