CI Tests

chore: Update Lean to v4.24.0 (#66) #36

Sign in to view logs

Triggered via push October 31, 2025 13:35

main

Status Success

Total duration 34s

Artifacts –

ci.yml

on: push