github(workflows/main.yml): Add Docker tests
github(workflows/main.yml): Add Docker tests

soonho-tri/dreal4,soonho-tri/dreal4,soonho-tri/dreal4,dreal/dreal4,soonho-tri/dreal4,dreal/dreal4,dreal/dreal4,dreal/dreal4