add coverage badge #132
GiacomoPopeci.yml
on: pull_request
Matrix: test
benchmark-kyber
1m 39s
benchmark-ml-kem
1m 41s
docs-check
15s
code-format
10s
Indicate completion to coveralls
9s