Skip to content
coqchk

Change order of the arguments in Trace and CanonicalTrace #54

Sign in to view logs

Change order of the arguments in Trace and CanonicalTrace

Change order of the arguments in Trace and CanonicalTrace #54

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (8.17, default)
3m 6s
3m 6s