Merge pull request #455 from rartino/structure_origin #1328
ci.yml
on: push
Pre-commit checks
24s
Audit the grammar files
2m 1s
Audit the AUTHORS list
5s
Audit spelling in the specification
4s