Workaround

pi8027 · Jun 4, 2024 · b333d40 · b333d40
1 parent b54814d
commit b333d40
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-stablesort.opam b/coq-stablesort.opam
@@ -52,7 +52,7 @@ In addition, each of the above two kinds of mergesort functions has a smooth
 slices in the input."""
 
 build: [make "-j%{jobs}%"]
-run-test: [make "-j%{jobs}%" "build-misc"]
+run-test: [ [make "-j%{jobs}%" "build-misc" ] { coq:version < "8.17" | "8.18" <= coq:version } ]
 install: [make "install"]
 depends: [
   "coq" {>= "8.13"}