Validating GitLab CI configuration…
Learn more
This reverts commit e869a112. Mitch could reproduce the issue and made each .actions file into respective CLEANFILES in commit 00528033. At least now the distcheck job works, so let's just make its failure forbidden again.