There was a problem fetching the pipeline mini graph.
Revert "Coq 8.6 compatibility"
This reverts commit 3ddb6014. I did not intend to push this to master, sorry :/
parent
3ddb6014
No related branches found
No related tags found
Pipeline #