CI

refactor(Propositional): Redesign Hilbert Systems (#812) #2683

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check references.bib format	31s
Check mk_all executed	4m 10s
Build project	18m 5s
Generate page	34s
	23m 20s