Skip to content
coq-action

prettify: change argument order, strip useless types #415

Sign in to view logs

prettify: change argument order, strip useless types

prettify: change argument order, strip useless types #415

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
2m 16s
2m 16s