Lean Action CI

finished proof for pred #9

Sign in to view logs

Triggered via push February 12, 2026 17:13

JasonAlanVeenendaal

main

Status Success

Total duration 34s

Artifacts –

lean_action_ci.yml

on: push