Skip to content

Merge pull request #3706 from jobh/master #184

Merge pull request #3706 from jobh/master

Merge pull request #3706 from jobh/master #184

Triggered via push August 5, 2023 22:15
Status Failure
Total duration 28m 16s
Artifacts 2

main.yml

on: push
Matrix: test-osx
Matrix: test-win
Matrix: test
Matrix: deploy
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
test (check-coverage)
Process completed with exit code 2.
test (check-conjecture-coverage)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (check-coverage)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Artifacts

Produced during runtime
Name Size
check-conjecture-coverage-data Expired
245 KB
check-coverage-data Expired
810 KB