Skip to content

import benchmarks from the original gigasom.benchmarks repo

Also:

  • oliver's scripts reworked to general workflow advice
  • IMPC script imported too
Edited by Mirek Kratochvil (INACTIVE OLD EXTERNAL ACCOUNT)

Merge request reports