Skip to content
Lean (build)

Fix decreasing_by for new Lean version #84

Sign in to view logs

Fix decreasing_by for new Lean version

Fix decreasing_by for new Lean version #84

Triggered via push February 24, 2024 07:30
@eyihluyceyihluyc
pushed d1703d1
update-to-v4.6.0
Status Failure
Total duration 3m 50s
Artifacts –

lean.yml

on: push
Build
3m 42s
Build
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build
Process completed with exit code 1.