4 commits

Author	SHA1	Message	Date
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
Michiel Borkent	e309b49e1b	Rename	2021-01-01 11:26:31 +01:00
Michiel Borkent	fd96a6e2cf	Fix Github docker	2020-04-24 17:44:45 +02:00
Michiel Borkent	548ffa851b	Github actions enhancements (#319)	2020-03-30 20:29:08 +02:00