Skip to content

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

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

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

Triggered via push February 12, 2024 19:29
Status Success
Total duration 24s
Artifacts
Verify C-like coding style
9s
Verify C-like coding style
Verify shell script (Bash) coding style
16s
Verify shell script (Bash) coding style
Verify Python coding style
7s
Verify Python coding style
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
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 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 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/.