add script to get corpus stats #23
khietaci.yml
on: pull_request
get-branch-name
0s
Print corpus statistics
19s
Matrix: Test Rust implementation / Run integration tests
Matrix: Test Lean implementation / Run integration tests
Annotations
4 errors
|
Print corpus statistics
'corpus-tests.tar.gz' is not a directory; to treat it as a directory anyway, rerun with --skip-checks
|
|
Print corpus statistics
The process '/usr/bin/git' failed with exit code 128
|
|
Test Lean implementation / Run integration tests (stable)
The run was canceled by @khieta.
|
|
Test Lean implementation / Run integration tests (stable)
The operation was canceled.
|