[CI] Stop testing metarocq-translations#274

proux01 wants to merge 1 commit into

rocq-prover:masterrocq-prover/stdlib:masterfrom

proux01:ci-updateproux01/stdlib:ci-updateCopy head branch name to clipboard