continuous-integration

update examples and add CI test #161

Sign in to view logs

Triggered via push April 5, 2024 17:59

SkymanOne

verifier

Status Success

Total duration 2m 6s

Billable time 7m

Artifacts –

ci.yml

on: push

Check clippy and documentation

Check formatting

Matrix: Compile and formally test examples