Commit b2b1b98e authored by MARCHE Claude's avatar MARCHE Claude

nightly bench: auto upgrade Coq 8.7.2 to current version

parent d5585439
...@@ -113,6 +113,15 @@ target_name = "Coq" ...@@ -113,6 +113,15 @@ target_name = "Coq"
target_version = "$COQVER" target_version = "$COQVER"
version = "8.6.1" version = "8.6.1"
[uninstalled_prover coq872]
alternative = ""
name = "Coq"
policy = "upgrade"
target_alternative = ""
target_name = "Coq"
target_version = "$COQVER"
version = "8.7.2"
EOF EOF
fi fi
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment