package-install add loadpath testing#22258

coqbot-app[bot] merged 1 commit into

rocq-prover:masterrocq-prover/rocq:masterfrom

SkySkimmer:test-loadpathsSkySkimmer/rocq:test-loadpathsCopy head branch name to clipboard