CI: Docker: remove the `dev-` prefix
We have never used that one before, so let's not introduce it now.
Noise, noise, noise, sorry.
@@ -71,7 +71,7 @@ jobs:
context: .
push: true
tags: |
- telecominfraproject/oopt-gnpy:dev-${{ steps.extract_pretty_git.outputs.GIT_DESC }}
+ telecominfraproject/oopt-gnpy:${{ steps.extract_pretty_git.outputs.GIT_DESC }}
telecominfraproject/oopt-gnpy:master
- name: Extract tag name
if: github.event_name == 'push' && startsWith(github.ref, 'refs/tags/v')
