continuous integration

chore: remove unnecessary deprecated alias #37

Sign in to view logs

Triggered via push July 4, 2026 09:17

erdkocak

model-theory/elementary-extension-pair

Status Skipped

Total duration 2s

Artifacts –

build.yml

on: push

ci / Lint style

ci / Test and lint

ci / Upload to cache

ci / Post-Build Step

ci / Post-CI job