Skip to content
Lean Action CI

Replace split_ifs patterns with grind tactic (#58) #307

Sign in to view logs

Replace split_ifs patterns with grind tactic (#58)

Replace split_ifs patterns with grind tactic (#58) #307

Triggered via push January 22, 2026 10:34
@jessealamajessealama
pushed ee01a64
main
Status Success
Total duration 3m 1s
Artifacts –

lean_action_ci.yml

on: push
build
2m 58s
build
Fit to window
Zoom out
Zoom in