sonare 0.12.0-nightly

Runtime environment for formally-verifiable distributed software
Documentation 
1
2
3
4
5
6

codecov:
  require_ci_to_pass: no

coverage:
  precision: 1
  round: nearest