Lean 4 CI

chore: hide internal reports from repo (.gitignore + untrack) #3

Sign in to view logs

Triggered via push October 2, 2025 08:06

shuanat

main

Status Success

Total duration 1m 3s

Artifacts –

lean.yml

on: push