Coq 8.20, rm infra.v, minor fixes · math-comp/trajectories@aba2b8f

Triggered via pull request February 24, 2025 11:16

synchronize #38

fix_20250219

Status Success

Total duration 26m 42s

Artifacts –

docker-action.yml

on: pull_request

Matrix: build

10 warnings

Reference muln_rec is deprecated since mathcomp 2.3.0.

Reference addn_rec is deprecated since mathcomp 2.3.0.

Reference muln_rec is deprecated since mathcomp 2.3.0.

Reference muln_rec is deprecated since mathcomp 2.3.0.

Reference addn_rec is deprecated since mathcomp 2.3.0.

Reference addn_rec is deprecated since mathcomp 2.3.0.

Reference muln_rec is deprecated since mathcomp 2.3.0.

Reference muln_rec is deprecated since mathcomp 2.3.0.

Reference muln_rec is deprecated since mathcomp 2.3.0.

Reference muln_rec is deprecated since mathcomp 2.3.0.