add script to get corpus stats #24
Triggered via pull request
August 28, 2024 15:21
khieta
Status
Cancelled
Total duration
11m 32s
Artifacts
–
ci.yml
on: pull_request
get-branch-name
0s
Print corpus statistics
20s
Matrix: Test Rust implementation / Run integration tests
Matrix: Test Lean implementation / Run integration tests
Annotations
5 errors
|
Print corpus statistics
Process completed with exit code 2.
|
|
Print corpus statistics
Path 'scripts/get_corpus_stats.py' not uptodate; will not remove from working tree.
|
|
Print corpus statistics
Path 'scripts/requirements.txt' not uptodate; will not remove from working tree.
|
|
Test Lean implementation / Run integration tests (stable)
The run was canceled by @khieta.
|
|
Test Lean implementation / Run integration tests (stable)
The operation was canceled.
|