Skip to content

Update Mathlib/Algebra/RingQuot.lean #37202

Update Mathlib/Algebra/RingQuot.lean

Update Mathlib/Algebra/RingQuot.lean #37202

Triggered via push July 24, 2023 10:54
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