This small PR is follow-up of this commit, only focusing on the test-suite.
To sum up, now that https://github.com/coq/opam-coq-archive/pull/1835 has been merged, mathcomp 1.12.0 is coq-native compatible with coq < 8.13, so the if-then condition that was added in PR #45 to detect coq-native compatibility, can be extended to also include 8.12.1 (the minimal version of Coq that is compatible with a version of dune (≥ 2.8) that is compatible with coq-native precompilation).
This small PR is follow-up of this commit, only focusing on the test-suite.
To sum up, now that https://github.com/coq/opam-coq-archive/pull/1835 has been merged, mathcomp 1.12.0 is coq-native compatible with coq < 8.13, so the if-then condition that was added in PR #45 to detect coq-native compatibility, can be extended to also include 8.12.1 (the minimal version of Coq that is compatible with a version of dune (≥ 2.8) that is compatible with coq-native precompilation).
BTW @thery just opened a related issue https://github.com/coq-community/coqeal/issues/50#issuecomment-943328838 (which will be fixed after a new release of multinomials; or can be workarounded with git-pinning the master branch)