Revert "Workaround for #87" · math-comp/algebra-tactics@6bae987

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

Hiding binding of key N to N_scope

Hiding binding of key Z to Z_scope

Hiding binding of key N to N_scope

Hiding binding of key Z to Z_scope

Hiding binding of key N to N_scope

Hiding binding of key Z to Z_scope

Notation sub is deprecated since mathcomp 2.0.0. Use Sub instead.

Notation sub is deprecated since mathcomp 2.0.0. Use Sub instead.

Notation sub is deprecated since mathcomp 2.0.0. Use Sub instead.

Notation sub is deprecated since mathcomp 2.0.0. Use Sub instead.

Provide feedback