[release] 9.3 backports#22247

Draft

gares wants to merge 38 commits into

rocq-prover:v9.3from

gares:9.3-backports

coqbot-app / GitLab CI pipeline (pull request) completed Jul 15, 2026 in 0s

Light pipeline completed successfully on GitLab CI

This GitLab pipeline sets the following variables:

SKIP_DOCKER: false
FULL_CI: false

It contains the following stages and jobs:

GitLab Project ID: 4504

View more details on coqbot-app