Skip to content
continuous integration (mathlib forks)

Update Mathlib/Algebra/RingQuot.lean #37202

Sign in to view logs

Update Mathlib/Algebra/RingQuot.lean

Update Mathlib/Algebra/RingQuot.lean #37202

Triggered via push July 24, 2023 10:54
@eric-wiesereric-wieser
pushed b0e9a79
eric-wieser/tower-TensorAlgebra
Status Success
Total duration 13s
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