CI Tests

Chore: update Lean to v4.26.0 #41

Sign in to view logs

Re-run triggered December 16, 2025 22:30

#68

quinn-dougherty:main

Status Success

Total duration 26s

Artifacts –

ci.yml

on: pull_request