CI

refactor(Incompleteness): Provability Abstraction Pt.3 (#797) #2633

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build project	7m 57s
Check references.bib format	29s
Check mk_all executed	1m 58s
Generate page	44s
	11m 8s