Skip to content
coq-library-undecidability CI

As agreed, remove the reference to the former CeCILL v2 license (second step) #638

Sign in to view logs

As agreed, remove the reference to the former CeCILL v2 license (second step)

As agreed, remove the reference to the former CeCILL v2 license (second step) #638

Run time

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