Lean Action CI

chore: update to nightly-2025-06-19 #132

Sign in to view logs

Re-run triggered June 19, 2025 16:02

hargoniX

#27

opencompl:nightly-2025-06-19

Status Success

Total duration 1m 18s

Artifacts –

lean_action_ci.yml

on: pull_request