Skip to content
continuous integration (mathlib forks)

chore: two cdots to cdots #95598

Sign in to view logs

chore: two cdots to cdots

chore: two cdots to cdots #95598

Triggered via push May 10, 2024 19:35
@adomaniadomani
pushed 041b63e
adomani/to_cdots
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)
4s
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