Wolfgang Walther 9fe90bf9a8 ci: Fix pushing of devel-arm docker tag

2024-05-04 21:53:36 +02:00

..

docker-env

chore(deps): update ubuntu:jammy docker digest to a6d2b38

2024-05-04 12:21:37 +02:00

build.sh

chore: Remove cabal.project.non-nix

2024-02-26 22:06:01 +01:00

docker-publish.sh

ci: Fix pushing of devel-arm docker tag

2024-05-04 21:53:36 +02:00