Johannes Nicolai 7f4a76a39b Also log into DockerHub for release event (#326) ... * so far, only push events would trigger the DockerHub login step * hence, attempts to release would fail because of a permission problem (tested locally) * adding OR condition to also login in case a release got published		2021-02-18 08:54:44 +09:00
..
workflows	Also log into DockerHub for release event (#326)	2021-02-18 08:54:44 +09:00