Skip to content
continuous integration (mathlib forks)

Update Basic.lean #55522

Sign in to view logs

Update Basic.lean

Update Basic.lean #55522

Triggered via push November 3, 2023 14:18
@eric-wiesereric-wieser
pushed a7ae4d1
eric-wieser/generalize-derivation
Status Success
Total duration 18s
Artifacts –

build_fork.yml

on: push
Lint style (fork)
0s
Lint style (fork)
Check all files imported (fork)
0s
Check all files imported (fork)
Build (fork)
0s
Build (fork)
Cancel Previous Runs (CI)
9s
Cancel Previous Runs (CI)
check workflows (fork)
0s
check workflows (fork)
Post-CI job (fork)
0s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in