Skip to content
continuous integration

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

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… #24311

Triggered via push May 12, 2023 15:49
@ChrisHughes24ChrisHughes24
pushed 7fab5f4
port/ModelTheory.Substructures
Status Success
Total duration 23m 52s
Artifacts –

build.yml

on: push
Lint style
31s
Lint style
Check all files imported
7s
Check all files imported
Build
23m 29s
Build
Cancel Previous Runs (CI)
2s
Cancel Previous Runs (CI)
Post-CI job
6s
Post-CI job
Fit to window
Zoom out
Zoom in