Lean CI

feat: reshape SimpleGraph.ball to open balls per Zulip consensus #6

Sign in to view logs

Triggered via push March 6, 2026 23:36

main

Status Success

Total duration 1m 41s

Artifacts –

lean_action_ci.yml

on: push