continuous-integration

Verifier 1 (#10) #162

Sign in to view logs

Triggered via push April 5, 2024 18:02

SkymanOne

main

Status Success

Total duration 2m 24s

Billable time 10m

Artifacts –

ci.yml

on: push

Check clippy and documentation

Check formatting

Matrix: Compile and formally test examples