update meta and docker · math-comp/real-closed@dbed055

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Notation nosimpl is deprecated since mathcomp 2.3.0.

Notation nosimpl is deprecated since mathcomp 2.3.0.

Notation nosimpl is deprecated since mathcomp 2.3.0.

Notation nosimpl is deprecated since mathcomp 2.3.0.

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

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

Notation archiFieldType is deprecated since mathcomp 2.3.0.

Notation archiFieldType is deprecated since mathcomp 2.3.0.

Notation archiFieldType is deprecated since mathcomp 2.3.0.

Notation archiFieldType is deprecated since mathcomp 2.3.0.

Provide feedback