Skip to content
Run Integration Tests

Update corpus tests of 4.2.x #37

Sign in to view logs

Update corpus tests of 4.2.x

Update corpus tests of 4.2.x #37

Triggered via pull request November 6, 2024 19:14
@shaobo-he-awsshaobo-he-aws
opened #13
shaobo/update-corpus-tests-4.2.x
Status Success
Total duration 12m 14s
Artifacts –

ci.yml

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