Skip to content

Merge pull request #455 from rartino/structure_origin #1328

Merge pull request #455 from rartino/structure_origin

Merge pull request #455 from rartino/structure_origin #1328

Triggered via push February 3, 2025 12:13
Status Success
Total duration 2m 10s
Artifacts

ci.yml

on: push
Pre-commit checks
24s
Pre-commit checks
Audit the grammar files
2m 1s
Audit the grammar files
Audit the AUTHORS list
5s
Audit the AUTHORS list
Audit spelling in the specification
4s
Audit spelling in the specification
Fit to window
Zoom out
Zoom in