Skip to content
Snippets Groups Projects
Florian Atteneder's avatar
Florian Atteneder authored
We require that all PRs are rebased before merging, so running them twice does not help anything.
This should free up the CI queue.
0693a6de
History