Merge pull request #878 from proux01/ci-odd-order

[CI] Fix odd-order

Author: gares

.github/workflows/nix-action-coq-8.20.yml

@@ -61,13 +61,15 @@ let master = [
     "coq-8.20".coqPackages = coq-common-bundles // {
       coq.override.version = "8.20";
       coq-elpi.override.elpi-version = "v3.1.0";
+      odd-order.job = false;  # no longer supported since https://github.com/math-comp/odd-order/pull/74
     };
 
     "rocq-9.0" = { rocqPackages = rocq-common-bundles // {
       rocq-core.override.version = "9.0";
     }; coqPackages = coq-common-bundles // {
       coq.override.version = "9.0";
       hierarchy-builder.override.version = "master";
+      odd-order.job = false;  # no longer supported since https://github.com/math-comp/odd-order/pull/74
     }; };
 
     "rocq-9.1" = { rocqPackages = rocq-common-bundles // {

.github/workflows/nix-action-coq-master.yml

@@ -1 +1,2 @@
-"ef49c0f062e0fb852da63b48a7b08374fdb308e7"
+"86ae2e855f1f6a506813102eb7363c5e54a62fca"
+