Commit b83dd720 authored by Jan Kiene's avatar Jan Kiene
Browse files

run push pipelines only on main (i.e. after merging)

parent d74aa7e1