CI

refactor: replace `Sentence ℒₒᵣ`/`Sentence ℒₛₑₜ` with `ArithmeticSentence`/`SetTheorySentence` #2659

Sign in to view logs

Triggered via pull request March 4, 2026 11:17

SnO2WMaN

synchronize #806

copilot/refactor-sentence-handling

Status Failure

Total duration 16m 44s

Artifacts –

ci.yml

on: pull_request

Check mk_all executed

Check references.bib format

Annotations

1 error

Build project

Process completed with exit code 1.