Lean Action CI

Add more related lemmas + quality fixes #19

Sign in to view logs

Triggered via push September 17, 2025 04:25

richwill28

reorg

Status Success

Total duration 2m 18s

Artifacts –

lean_action_ci.yml

on: push