Skip to content
coq-library-undecidability CI

Merge pull request #219 from mrhaandi/address-8-20-warnings #676

Sign in to view logs

Merge pull request #219 from mrhaandi/address-8-20-warnings

Merge pull request #219 from mrhaandi/address-8-20-warnings #676

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (dev, 4.14-flambda)
11m 5s
11m 5s