Skip to content
Lean Action CI

fix: typos, wrong arrow associativity comment, wrong year in log #24

Sign in to view logs

fix: typos, wrong arrow associativity comment, wrong year in log

fix: typos, wrong arrow associativity comment, wrong year in log #24

Triggered via push March 3, 2026 12:43
@FordUniverFordUniver
pushed 2f1c741
main
Status Success
Total duration 10m 34s
Artifacts –

lean_action_ci.yml

on: push
build
10m 30s
build
Fit to window
Zoom out
Zoom in