Lean Action CI

delete deprecated EqnLemma and related defs/theorems #693

Sign in to view logs

Triggered via push September 3, 2026 15:25

alexkeizer

feat-prec

Status Success

Total duration 2m 27s

Artifacts –

lean_action_ci.yml

on: push