Skip to content
CI

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

Sign in to view logs

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

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

Triggered via pull request March 4, 2026 11:54
@SnO2WMaNSnO2WMaN
synchronize #806
copilot/refactor-sentence-handling
Status Success
Total duration 25m 15s
Artifacts 1

ci.yml

on: pull_request
Check mk_all executed
2m 2s
Check mk_all executed
Check references.bib format
30s
Check references.bib format
Build project
23m 6s
Build project
Generate page
0s
Generate page
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
lean-artifacts Expired
34.7 MB
sha256:a28b96c23c5d1b96b341d111836246b28b7c5612295116beccb512acaf0b368c