tree 7601779eb2349c61db0139ceed194a5d52b2b26f
parent 83a5099c417f0a2fee651847eb87d3322df0d802
author Marc Kupietz <kupietz@ids-mannheim.de> 1762427558 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1762436701 +0100

GitLab-CI: Add version tag and manual Docker Hub push job

Change-Id: Ieb266f9e286363ba5f233f96258015f4e5fabb72