Dimitri Fontaine fac03a68d4
Install a github action to publish docker images. (#1416)
* Install a github action to publish docker images.

* Our main branch name is still "master".
2022-08-12 16:39:05 +02:00
..