Skip to content

Merge pull request #73 from inab/jmfernandez #92

Merge pull request #73 from inab/jmfernandez

Merge pull request #73 from inab/jmfernandez #92

Triggered via push October 9, 2023 16:20
Status Success
Total duration 45s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
JSON Schema validation through pre-commit
9s
JSON Schema validation through pre-commit
Update documentation if all worked properly
21s
Update documentation if all worked properly
Fit to window
Zoom out
Zoom in