disable duplicate ci pipeline

This commit is contained in:
OCram85 2023-07-12 07:52:55 +02:00
parent 81738ff2f4
commit b77e9db6c0