[CI] Only run test-suite on Rocq master#179

proux01 merged 1 commit intorocq-prover:masterrocq-prover/stdlib:masterfrom

proux01:test-suite-only-masterproux01/stdlib:test-suite-only-masterCopy head branch name to clipboard