Skip to content
continuous integration (mathlib forks)

docstring, rename hypotheses #48851

Sign in to view logs

docstring, rename hypotheses

docstring, rename hypotheses #48851

Triggered via push September 27, 2023 19:06
@eric-wiesereric-wieser
pushed 9e63712
eric-wieser/algHomOfLinearMapTensorProduct
Status Success
Total duration 12s
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)
3s
Cancel Previous Runs (CI)
Post-CI job (fork)
0s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in