package-install add loadpath testing#22258

Merged

coqbot-app[bot] merged 1 commit into

rocq-prover:masterfrom

SkySkimmer:test-loadpaths

Jul 16, 2026

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

Light pipeline completed successfully on GitLab CI

This GitLab pipeline sets the following variables:

FULL_CI: false

It contains the following stages and jobs:

GitLab Project ID: 4504

View more details on coqbot-app