Skip to content
CI

docs(Logic, Syntax/Predicate): Docstrings related to homomorphisms and rewritings #2762

Sign in to view logs

docs(Logic, Syntax/Predicate): Docstrings related to homomorphisms and rewritings

docs(Logic, Syntax/Predicate): Docstrings related to homomorphisms and rewritings #2762

Triggered via pull request July 11, 2026 04:53
@ConvindixConvindix
synchronize #842
Convindix:recursion
Status Failure
Total duration 1m 59s
Artifacts –

ci.yml

on: pull_request
Check mk_all executed
1m 55s
Check mk_all executed
Check references.bib format
27s
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.