CI

refactor: Remove ProvabilityLogic #2728

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check mk_all executed	1m 50s
Check references.bib format	32s
Build project	47m 10s
Generate page	-1s
	49m 31s