CI: disallow `MR` prefix from MR ids

pi-base / data

A community database of topological counterexamples

https://topology.pi-base.org/

Creative Commons Attribution 4.0 International

72 stars 24 forks source link

Open jamesdabbs opened 10 months ago

jamesdabbs commented 10 months ago

Consider also validating for this in CI

StevenClontz commented 10 months ago

Reopening until this is caught by CI