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