coverage resutlts as a CI artifact
This commit is contained in:
parent
d0ea94b472
commit
f16f16e4b3
@ -85,6 +85,10 @@ local-dune-job:
|
|||||||
- scripts/install_vendors_deps.sh
|
- scripts/install_vendors_deps.sh
|
||||||
- scripts/build_ligo_local.sh
|
- scripts/build_ligo_local.sh
|
||||||
- dune runtest
|
- dune runtest
|
||||||
|
- make coverage
|
||||||
|
artifacts:
|
||||||
|
paths:
|
||||||
|
- _coverage_all
|
||||||
|
|
||||||
# Run a docker build without publishing to the registry
|
# Run a docker build without publishing to the registry
|
||||||
build-current-docker-image:
|
build-current-docker-image:
|
||||||
|
Loading…
Reference in New Issue
Block a user