comby/push-coverage-report.sh

mirror of https://github.com/comby-tools/comby.git synced 2024-10-05 17:17:35 +03:00
#!/bin/bash

opam exec -- bisect-ppx-report summary
echo '----'
opam exec -- bisect-ppx-report send-to Codecov
echo $?
Restore coverage and benchmark in docker build 2019-06-06 23:34:13 +03:00			`#!/bin/bash`

restore CI and coverage 2021-11-15 08:03:43 +03:00			`opam exec -- bisect-ppx-report summary`
restore code coverage, add codecov (#243) 2021-02-22 08:06:01 +03:00			`echo '----'`
restore CI and coverage 2021-11-15 08:03:43 +03:00			`opam exec -- bisect-ppx-report send-to Codecov`
make bisect_ppx pin a soft dependency (#242) 2021-02-22 06:04:19 +03:00			`echo $?`