Skip to content

Measure coverage for integration tests in CI #2733

Measure coverage for integration tests in CI

Measure coverage for integration tests in CI #2733

Triggered via pull request July 14, 2023 23:35
Status Failure
Total duration 21s
Artifacts

ci.yml

on: pull_request
Matrix: build
Matrix: build-push-image
Matrix: cabal-test
Matrix: Test SAW exercises
Matrix: heapster-tests
Matrix: Test s2n proofs
Matrix: saw-remote-api-tests
Matrix: mr-solver-tests
mergify
0s
mergify
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
config
Process completed with exit code 2.
config
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/