Lean Action CI

chore: upgrade Lean toolchain to v4.29.0-rc4 and update dependencies #8

Sign in to view logs

Triggered via push March 10, 2026 07:50

main

Status Success

Total duration 2m 21s

Artifacts –

lean_action_ci.yml

on: push

⚡