8 Commits

Author	SHA1	Message	Date
Maschell	e13fca53ae	Change docker registry to ghcr.io	2023-03-18 16:38:08 +01:00
Maschell	e3e73b1fac	Check the dockerfile on pull request	2023-01-06 14:00:41 +01:00
Maschell	abaf6cbc0d	Update the CI to use actions/checkout@v3	2023-01-06 13:50:57 +01:00
Maschell	e952997164	Use ubuntu-22.04 for CI	2022-09-04 17:57:48 +02:00
Maschell	a9aab3646a	Change name of workflows	2022-02-11 20:01:09 +01:00
Maschell	076134a77c	Format via clang_format	2022-02-11 20:01:09 +01:00
Maschell	026ae59d6f	Fix workflow for pushing docker images	2021-01-09 14:03:43 +01:00
Maschell	5d8e189605	Add Github action workflow for pushing the latest docker image	2020-08-12 18:14:07 +02:00