Lean Action CI

Bump toolchain to 4.19.0 #12

Sign in to view logs

Triggered via push May 5, 2025 14:30

TwoFX

bump-419

Status Success

Total duration 29s

Artifacts –

lean_action_ci.yml

on: push

⚡