Skip to content
cleanup caches generated by pull requests

The decidable total order on a standard finite type #212

Sign in to view logs

The decidable total order on a standard finite type

The decidable total order on a standard finite type #212

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cleanup
7s
7s