Skip to content
continuous integration (mathlib forks)

fix #68940

Sign in to view logs

fix

fix #68940

Triggered via push January 11, 2024 14:39
@semorrisonsemorrison
pushed 0599aae
fgdorais-nat-mul
Status Success
Total duration 10s
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)
2s
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