Back to pull request #3159

Fixes #1421: Add "delete server" button to connect dialog #2511

Sign in to view logs

Triggered via pull request January 14, 2024 10:24

pljones

synchronize #3159

pljones:feature/1421-delete-saved-servers

Status Success

Total duration 21s

Artifacts –

coding-style-check.yml

on: pull_request

Verify C-like coding style

Verify shell script (Bash) coding style

Verify Python coding style