docs: record user-classification registry + Rocq scaffold classifier #181
hyperpolymathAnnotations
1 error
|
Analyze (rust)
Unable to resolve action `github/codeql-action/init@6624720a57d4c312633c7b953db2f2da5bcb4c3a`, unable to find version `6624720a57d4c312633c7b953db2f2da5bcb4c3a`
|