Commit 4baede19 authored by MARCHE Claude's avatar MARCHE Claude

nightly-bench: add Coq8.4pl6 in uninstalled prover policies

parent dac88331
......@@ -83,7 +83,7 @@ policy = "upgrade"
target_alternative = ""
target_name = "Coq"
target_version = "$COQVER"
version = "8.4pl4"
version = "8.4pl2"
[uninstalled_prover policy1]
alternative = ""
......@@ -92,6 +92,15 @@ policy = "upgrade"
target_alternative = ""
target_name = "Coq"
target_version = "$COQVER"
version = "8.4pl4"
[uninstalled_prover policy2]
alternative = ""
name = "Coq"
policy = "upgrade"
target_alternative = ""
target_name = "Coq"
target_version = "$COQVER"
version = "8.4pl5"
[uninstalled_prover policy2]
......@@ -101,7 +110,7 @@ policy = "upgrade"
target_alternative = ""
target_name = "Coq"
target_version = "$COQVER"
version = "8.4pl2"
version = "8.4pl6"
EOF
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