Skip to content
continuous integration (mathlib forks)

auto: naming #29575

Sign in to view logs

auto: naming

auto: naming #29575

Triggered via push June 8, 2023 07:51
@mo271mo271
pushed 208af09
port/RingTheory.DedekindDomain.Dvr
Status Success
Total duration 14s
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