Lean Action CI

Rename identifiers to follow Mathlib/CSLib naming conventions #302

Sign in to view logs

Triggered via push January 21, 2026 15:42

jessealama

feature/partrec-prime-equivalence

Status Success

Total duration 3m 12s

Artifacts –

lean_action_ci.yml

on: push