Use Docker with Github Actions for building - #82

Open

Techno-coder wants to merge 7 commits into

NZOI:masterfrom

Techno-coder:actions-docker

Commits on Feb 14, 2020

Update README and add Dockerfile
Techno-coder
committed
ed87856
Update Dockerfile to set locale to en_US.UTF-8
Techno-coder
committed
88f6366
Fix and add Docker execution and inspection commands
Techno-coder
committed
68a6402

Commits on Feb 15, 2020