4 commits

Author	SHA1	Message	Date
Anmol Sethi	9f3240346c	Doc fixes	2020-02-19 00:27:02 -05:00
Anmol Sethi	5681c87e33	Fix bugs in CI	2020-02-18 19:06:35 -05:00
Anmol Sethi	1a91588c42	Add docker image pushing	2020-02-18 13:28:13 -05:00
Anmol Sethi	0d31a51eeb	Add github release creation	2020-02-15 16:20:41 -05:00

Renamed from ci/Dockerfile (Browse further)