Skip to content

Merge pull request #3159 from pljones/feature/1421-delete-saved-servers #176

Merge pull request #3159 from pljones/feature/1421-delete-saved-servers

Merge pull request #3159 from pljones/feature/1421-delete-saved-servers #176

Triggered via push February 12, 2024 19:54
Status Success
Total duration 27s
Artifacts
Verify C-like coding style
12s
Verify C-like coding style
Verify shell script (Bash) coding style
18s
Verify shell script (Bash) coding style
Verify Python coding style
10s
Verify Python coding style
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Verify C-like coding style
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Verify Python coding style
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Verify shell script (Bash) coding style
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.