renovate[bot]andWolfgang Walther d41ad6d44a chore(deps): update all dependencies

2024-04-20 12:45:46 +02:00

..

docker-env

chore(deps): update all dependencies

2024-04-20 12:45:46 +02: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