Skip to content
Snippets Groups Projects
Unverified Commit ca7c933e authored by Joris Vaillant's avatar Joris Vaillant
Browse files

ci: Cancel PR workflow on new push

parent 343122e1
No related branches found
No related tags found
No related merge requests found
Pipeline #35838 passed with warnings