richard 33e945f662 update php build to include basic php7.3 ...

updated robo build

2020-04-19 11:24:26 -04:00

..

build.sh

update php build to include basic php7.3

2020-04-19 11:24:26 -04:00

Dockerfile

…

Dockerfile-71

…

Dockerfile-72

…

Dockerfile-73

update php build to include basic php7.3

2020-04-19 11:24:26 -04:00

Jenkinsfile

set agent label to docker in Jenkinsfiles

2019-02-09 23:04:52 -05:00