benchmarks history
Find a way to keep benchmarks history. Options:
- gitlab runners on cta08 and locally saved results
- push results to another server
- recompute for all versions everytime
Edited by Vuillaume
Find a way to keep benchmarks history. Options: