Skip to content
Build

Updated to lean 4.2.0 #128

Sign in to view logs

Updated to lean 4.2.0

Updated to lean 4.2.0 #128

Triggered via push November 17, 2023 20:26
@Eagle941Eagle941
pushed 80c7e68
mathlib_update
Status Success
Total duration 2m 6s
Artifacts –

build.yml

on: push
Build
1m 56s
Build
Fit to window
Zoom out
Zoom in