Mike Fährmann d1ea60c057 [github] fix docker workflow (#4831) ...

- run only on tagged commits and not on every commit to master
- use the correct github token

2023-12-05 22:55:07 +01:00

..

docker.yml

[github] fix docker workflow (#4831)

2023-12-05 22:55:07 +01:00

executables.yml

[github] add workflow to build and push docker images

2023-12-02 17:53:11 +01:00

tests.yml

[github] add workflow to build and push docker images

2023-12-02 17:53:11 +01:00