ci: remove redundant push trigger on main#84

renaudcepre merged 3 commits intomainrenaudcepre/protest:mainfrom

ci/cleanup-triggersrenaudcepre/protest:ci/cleanup-triggersCopy head branch name to clipboard