4 Commits

Author	SHA1	Message	Date
Christoph Reiter	54d1cf12c7	Give the deploy job write permissions	2021-05-13 14:46:23 +02:00
Christoph Reiter	abc4b39e2f	CI: enable workflow_dispatch	2021-04-24 12:24:55 +02:00
Christoph Reiter	b9d950e0af	Build and push a docker image to the GH registry ... For every push to master	2021-03-29 21:02:41 +02:00
Christoph Reiter	9c57c354a6	Use GHA for running tests	2020-07-11 09:59:49 +02:00