Commit Graph

3 Commits

Author SHA1 Message Date
Jens Petersen
d8d8f6e9c1 make unzip awscliv2.zip quiet 2022-12-30 23:10:01 +08:00
Jens Petersen
ea2fead291 update docker image to Ubuntu/pid1 22.04 LTS
- drop embedding ghc and stack
- use libz3-dev
2022-12-30 23:03:37 +08:00
Adam Bergmark
431c2b0933 Upgrade docker image to ubuntu 20.04 2022-06-06 20:03:34 +02:00