projects / nmigen.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
CI: fix sri-csl/formal-methods PPA series.
[nmigen.git] / .codecov.yml
1 coverage:
2 status:
3 project:
4 default: false