Wolfgang Walther
5580fe0040
ci: Make arm scripts fail on error
2024-05-09 21:46:10 +02:00
Wolfgang Walther
73199127bb
chore: Remove cabal.project.non-nix
...
We don't have any source-repository-package stanzas in there anymore, so there's no
need to keep it around anymore.
2024-02-26 22:06:01 +01:00
Wolfgang Walther and Wolfgang Walther
0eca2954b3
ci: Reduce file size of cabal and stack based builds
...
By passing -split-sections to all dependencies, GHC will link only the
modules we actually use and not the full package for each dependency.
This does neither work on MacOS nor Windows, thus we don't do it for
stack right now.
Stripping unused symbols in CI will further decrease the size of those files.
2024-02-06 10:19:31 +01:00
Laurence Isla and GitHub
83cf15fb7e
ci: specify GHC_VERSION for ARM build on CI config
...
* change cabal version from recommended to latest
2023-06-21 16:54:15 -05:00
Laurence Isla and GitHub
caaa9a3944
ci: Update ARM build script to use GHC 9.2.4
2023-03-24 20:23:43 -05:00
Laurence Isla and GitHub
9bdb4e5c4f
ci: remove armv7 architectures for ARM builds
...
Now only builds aarch64 on the remote server without Docker
2022-04-23 20:30:07 +02:00
Laurence Isla and GitHub
bc7d54c7d2
Add CI for ARM architectures ( #2127 )
2022-04-18 17:40:32 +02:00
Wolfgang Walther