Run Integration Tests

Update corpus tests #36

Sign in to view logs

Triggered via pull request November 6, 2024 00:49

synchronize #12

chore/shaobo/update-tests

Status Success

Total duration 12m 19s

Artifacts –

ci.yml

on: pull_request

get-branch-name

Print corpus statistics

Matrix: Test Rust implementation / Run integration tests

Matrix: Test Lean implementation / Run integration tests