Skip to content
Automated testing

update tests thm-003-cleveref / thm-004 (need to be fixed) #81

Sign in to view logs

update tests thm-003-cleveref / thm-004 (need to be fixed)

update tests thm-003-cleveref / thm-004 (need to be fixed) #81

Run time

Learn about OS pricing on GitHub Actions
Job Run time
run-checks
3m 17s
3m 17s