Lean Action CI

Golf proofs: eliminate intermediate bindings #116

Sign in to view logs

Triggered via push January 1, 2026 21:57

jessealama

general-composition

Status Success

Total duration 2m 6s

Artifacts –

lean_action_ci.yml

on: push