Skip to content

hotfix: rename polytope to polytope_feature #210

hotfix: rename polytope to polytope_feature

hotfix: rename polytope to polytope_feature #210

Triggered via push October 22, 2024 09:57
Status Success
Total duration 18s
Artifacts
Code QA
6s
Code QA
Build Readthedocs
0s
Build Readthedocs
Publish on Readthedocs
0s
Publish on Readthedocs
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Code QA
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/
Code QA
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/