Skip to content
Coq

fix error msg for empty type (#478) #476

Sign in to view logs

fix error msg for empty type (#478)

fix error msg for empty type (#478) #476

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
1m 34s
1m 34s