Skip to content

add(SetTheory): Recursion, ordinal addition and multiplication #2706

add(SetTheory): Recursion, ordinal addition and multiplication

add(SetTheory): Recursion, ordinal addition and multiplication #2706

Re-run triggered April 10, 2026 20:53
Status Failure
Total duration 5m 6s
Artifacts

ci.yml

on: pull_request
Check mk_all executed
5m 0s
Check mk_all executed
Check references.bib format
38s
Check references.bib format
Build project
0s
Build project
Generate page
0s
Generate page
Fit to window
Zoom out
Zoom in

Annotations

1 error
Check mk_all executed
Process completed with exit code 1.