Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

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/

Notation nosimpl is deprecated since mathcomp 2.4.

Notation natCK is deprecated since mathcomp 2.1.0.

Notation natCK is deprecated since mathcomp 2.1.0.

Notation Cnat is deprecated since mathcomp 2.1.0.

Notation Cnat is deprecated since mathcomp 2.1.0.

Notation conj_Cnat is deprecated since mathcomp 2.1.0.

Notation conj_Cnat is deprecated since mathcomp 2.1.0.

Notation conj_Cnat is deprecated since mathcomp 2.1.0.

Notation truncCK is deprecated since mathcomp 2.1.0.