Skip to content
continuous integration (mathlib forks)

chore: classify new definition porting notes #83810

Sign in to view logs

chore: classify new definition porting notes

chore: classify new definition porting notes #83810

Triggered via push March 19, 2024 19:45
@pitmonticonepitmonticone
pushed 5943669
pitmonticone/new-definition
Status Success
Total duration 15s
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)
7s
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