Laurence IslaandGitHub 5cdafb23e7 ci: fix ARM docker containers not stopping immediately

2023-07-06 11:20:32 -05:00

..

docker-env

ci: fix ARM docker containers not stopping immediately

2023-07-06 11:20:32 -05:00

build.sh

ci: specify GHC_VERSION for ARM build on CI config

2023-06-21 16:54:15 -05:00

docker-publish.sh

ci: remove armv7 architectures for ARM builds

2022-04-23 20:30:07 +02:00