Skip to content
Run Integration Tests

Update corpus tests #35

Sign in to view logs

Update corpus tests

Update corpus tests #35

Triggered via pull request November 6, 2024 00:43
@shaobo-he-awsshaobo-he-aws
opened #12
chore/shaobo/update-tests
Status Failure
Total duration 43s
Artifacts –

ci.yml

on: pull_request
get-branch-name
0s
get-branch-name
Print corpus statistics
25s
Print corpus statistics
Matrix: Test Rust implementation / Run integration tests
Matrix: Test Lean implementation / Run integration tests
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Test Rust implementation / Run integration tests (stable)
Process completed with exit code 2.
Test Lean implementation / Run integration tests (stable)
Process completed with exit code 2.
Print corpus statistics
Process completed with exit code 1.