Skip to content
continuous integration

Merge branch 'master' into model-theory/elementary-extension-pair #43

Sign in to view logs

Merge branch 'master' into model-theory/elementary-extension-pair

Merge branch 'master' into model-theory/elementary-extension-pair #43

Triggered via push July 4, 2026 09:26
@erdkocakerdkocak
pushed 9de59ee
model-theory/elementary-extension-pair
Status Skipped
Total duration 1s
Artifacts –

build.yml

on: push
ci  /  Build
ci / Build
ci  /  Lint style
ci / Lint style
ci  /  Test and lint
ci / Test and lint
ci  /  Upload to cache
ci / Upload to cache
ci  /  Post-Build Step
ci / Post-Build Step
ci  /  Post-CI job
ci / Post-CI job
Fit to window
Zoom out
Zoom in