Skip to content

Symmetry operation specifications in Jones faithful notation (defined by PCRE) #1007

Symmetry operation specifications in Jones faithful notation (defined by PCRE)

Symmetry operation specifications in Jones faithful notation (defined by PCRE) #1007

Triggered via pull request December 19, 2023 14:25
Status Success
Total duration 1m 13s
Artifacts

ci.yml

on: pull_request
Pre-commit checks
14s
Pre-commit checks
Audit the grammar files
1m 5s
Audit the grammar files
Audit the AUTHORS list
9s
Audit the AUTHORS list
Audit spelling in the specification
6s
Audit spelling in the specification
Audit OpenAPI schemas with swagger validator
5s
Audit OpenAPI schemas with swagger validator
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
Audit spelling in the specification
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Audit OpenAPI schemas with swagger validator
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Audit the AUTHORS list
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Pre-commit checks
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Audit the grammar files
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/