Shrink Docker image size

[chungyc]

Investigate the feasibility of significantly shrinking the Docker image size, i.e., making the action run faster. It will likely involve static binaries and smaller base images.

The following are relevant and may be used to accomplish this task:

• https://github.com/nh2/static-haskell-nix
• https://github.com/utdemir/ghc-musl

[chungyc]

aad60f7