Skip to content
continuous integration

Merge branch 'master' into model-theory/quantifier-elimination-embedd… #31

Sign in to view logs

Merge branch 'master' into model-theory/quantifier-elimination-embedd…

Merge branch 'master' into model-theory/quantifier-elimination-embedd… #31

Triggered via push June 28, 2026 10:03
@erdkocakerdkocak
pushed e8332c2
model-theory/quantifier-elimination-embeddings
Status Skipped
Total duration 7s
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