2 commits

Author	SHA1	Message	Date
Rahul De	1f49e71964	[#696] Copy linux bin correctly into docker	2021-01-02 17:13:38 +01:00
Rahuλ Dé	922de495e1	[#696] Reuse linux binaries for docker builds ... * Reuse linux binary in docker build * Have a dedicated Dockerfile for CI * Reuse linux binary in GH Actions * Make docker action depend only on linux * Run Actions only on master	2021-01-02 16:00:28 +01:00