Skip to content

Update corpus tests and add CI #6

Update corpus tests and add CI

Update corpus tests and add CI #6

Triggered via pull request March 30, 2024 16:12
@khietakhieta
synchronize #3
khieta/add-ci
Status Success
Total duration 10m 55s
Artifacts

ci.yml

on: pull_request
Matrix: Test Rust implementation / Run integration tests
Matrix: Test Lean implementation / Run integration tests
Fit to window
Zoom out
Zoom in