renovate[bot] and Wolfgang Walther
6a2677d985
chore(deps): update ubuntu:focal docker digest to 80ef4a4
2024-03-07 16:27:56 +01: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
renovate[bot] and Wolfgang Walther
873ac6221e
chore(deps): pin dependencies
2024-02-24 21:15:38 +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
5cdafb23e7
ci: fix ARM docker containers not stopping immediately
2023-07-06 11:20:32 -05: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
