CI

docs(Logic, Syntax/Predicate): Add and update some docstrings related to homomorphisms and rewritings #2763

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check references.bib format	23s
Check mk_all executed	2m 6s
Build project	4m 59s
Generate page	0s
	7m 28s