anoma / juvix

A language for intent-centric and declarative decentralised applications
https://docs.juvix.org
GNU General Public License v3.0
457 stars 53 forks source link

Revert GHC 9.10.1 update #3052

Closed paulcadman closed 2 months ago

paulcadman commented 2 months ago

We cannot build linux static binaries with GHC 9.10.1:

This PR reverts the GHC update to unblock Juvix releases / nightly releases. We can try the update again when stackage nightly updates to GHC 9.10.1.

paulcadman commented 2 months ago

The CI was failing because the agent ran out of space. The CI cache contained both GHC 9.8.2 and GHC 9.10.1 build artefacts.

I've purged the cache to remove the GHC 9.10.1 build artefacts.

I've also added the commit from https://github.com/anoma/juvix/pull/2991 to free up space on the CI agent by removing software that we don't use.