Commit Graph

3 Commits

Author SHA1 Message Date
Asher
174cb2f8a9
Remove unused Docker step from CI script 2020-01-15 13:22:42 -06:00
Asher
91f49e1efd
Set SHELL to /bin/bash in Docker
Fixes #1081, fixes #918.
2019-10-23 13:34:00 -05:00
Asher
7f07b8f66c
Push Docker using Linux build
Instead of doing a separate redundant build. The main problem was that
the files weren't being cached. There is probably a better way of
solving this but this seems to be the simplest for now.
2019-10-22 18:43:21 -05:00