Remove mathcomp-dev:coq-8.16 and mathcomp-dev:coq-8.17 from CI · math-comp/multinomials@0f32217

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

card_mesymlmnm is declared opaque (Qed) but this is not fully

mesymlmE is declared opaque (Qed) but this is not fully respected

mesymlm_max is declared opaque (Qed) but this is not fully respected

XE is declared opaque (Qed) but this is not fully respected inside

inj_widen is declared opaque (Qed) but this is not fully respected

inj_swiden is declared opaque (Qed) but this is not fully respected

inj_mDswiden is declared opaque (Qed) but this is not fully

disjoint_S is declared opaque (Qed) but this is not fully respected

union_S is declared opaque (Qed) but this is not fully respected

mlead_XS is declared opaque (Qed) but this is not fully respected

Provide feedback