Skip to content

Draft: Instrument the repository

L. Grobol requested to merge ci into main

Importing the tools from the OF repo

  • Add ci validation on every commit
  • Add the split and statistics ci to make releasing easy
  • Make a split.json for frm
  • Add cleaning etc. script

Merge request reports