Skip to content
Build

Update AddToMathlib.lean, Vector.lean, Line.lean and Position/Angle.lean #519

Sign in to view logs

Update AddToMathlib.lean, Vector.lean, Line.lean and Position/Angle.lean

Update AddToMathlib.lean, Vector.lean, Line.lean and Position/Angle.lean #519

Triggered via pull request January 5, 2024 14:23
@mbkybkymbkybky
synchronize #274
mbkybky:master
Status Success
Total duration 4m 3s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yaml

on: pull_request
build
3m 54s
build
Fit to window
Zoom out
Zoom in