Skip to content

split production of benchmarks and push of pages in gitlab CI

  • run benchmarks on commits
  • push pages only after merge requests (master branch)
Edited by Vuillaume