Lean Action CI

add expose to abbrevs #24

Sign in to view logs

Triggered via push December 30, 2025 21:13

Qiu233

main

Status Success

Total duration 29s

Artifacts –

lean_action_ci.yml

on: push