Skip to content
coq-library-undecidability CI

Dealing with -notation-overridden compile option (#231) #719

Sign in to view logs

Dealing with -notation-overridden compile option (#231)

Dealing with -notation-overridden compile option (#231) #719

Run time

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