Wolfgang Walther 9dd3f3c094 ci: Tag arm docker image properly for releases

2024-05-09 21:42:18 +02:00

..

docker-env

chore(deps): update all dependencies

2024-05-05 18:25:18 +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: Tag arm docker image properly for releases

2024-05-09 21:42:18 +02:00