renovate[bot]andWolfgang Walther ffe44a2e71 chore(deps): update ubuntu:jammy docker digest to 77906da

2024-03-07 16:28:05 +01:00

..

docker-env

chore(deps): update ubuntu:jammy docker digest to 77906da

2024-03-07 16:28:05 +01: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