Skip to content
continuous integration (mathlib forks)

Merge remote-tracking branch 'origin/master' into port/ModelTheory.Su… #24269

Sign in to view logs

Merge remote-tracking branch 'origin/master' into port/ModelTheory.Su…

Merge remote-tracking branch 'origin/master' into port/ModelTheory.Su… #24269

Triggered via push May 12, 2023 15:49
@ChrisHughes24ChrisHughes24
pushed 7fab5f4
port/ModelTheory.Substructures
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)
4s
Cancel Previous Runs (CI)
Post-CI job (fork)
0s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in