Commit 63df3a67 authored by Konstantin Schulz's avatar Konstantin Schulz

pushing a new tag to the git repo should not trigger a CI pipeline anymore

parent a8f31b84
Pipeline #15906 passed with stages
in 7 minutes