Change DockerFile to ubuntu 20.04; correct OS check issue; run build automatically#19

Merged

aman-goel merged 2 commits intoaman-goel:masterfrom xdddduo:master

Jun 18, 2024

+6-2

Commits on Jun 11, 2024

Change dockerfile to ubuntu 20.04 and correct OS check issue
xdddduo
committed

Commits on Jun 16, 2024

resolved the need to run build.sh by hand
xdddduo
committed