Skip to content
coqchk

Port trace canonicalization to the new set of definitions. #53

Sign in to view logs

Port trace canonicalization to the new set of definitions.

Port trace canonicalization to the new set of definitions. #53

Run time

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