This fixes recent CI failures after GitHub stopped including hidden files in artifact uploads by default. The Idris2 compiler gets installed into one such hidden folder, so we need to include them.
Should this change go in the CHANGELOG?
[ ] If this is a fix, user-facing change, a compiler change, or a new paper
implementation, I have updated CHANGELOG_NEXT.md (and potentially also
CONTRIBUTORS.md).
Description
This fixes recent CI failures after GitHub stopped including hidden files in artifact uploads by default. The Idris2 compiler gets installed into one such hidden folder, so we need to include them.
Should this change go in the CHANGELOG?
CHANGELOG_NEXT.md(and potentially alsoCONTRIBUTORS.md).