Skip to content

Battle test

Valentin Chaboche requested to merge battle-test into main

Closes #5 (closed), #1 (closed) (it was convenient for integration tests)

This MR contains:

  • Fix build from a fresh install
  • Default CI running tests
  • shell script to fetch tezos mrs and run ometrics on them
  • deactivate modules from the analysis (temp)
Edited by Valentin Chaboche

Merge request reports