Commits

History for

Commits on Apr 20, 2020

Fix push step
rosbo
committedApr 20, 2020

Commits on Dec 7, 2018

Use single quote whenever possible
rosbo
committedDec 7, 2018

Commits on Sep 19, 2018

Make our helper scripts more robus
rosbo
committedSep 19, 2018

Commits on Sep 17, 2018

fix push and test script
rosbo
committedSep 17, 2018
Update build, test, push script to support gpu
rosbo
committedSep 17, 2018

Commits on Mar 28, 2018

Only push the tagged image to docker.io.
Seb Boving
committedMar 28, 2018

Commits on Mar 19, 2018

Split build script into build/test/push.
Seb Boving
committedMar 19, 2018

Loading