fix: frontend: Correctly escape filenames in URL parameters #69
Owner
No description provided.
matthias
added 1 commit 2026-01-27 17:16:17 +00:00
All checks were successful
Build RPi Pico firmware image / Build-Firmware (push) Successful in 4m56s
Details
Check code formatting / Check-C-Format (push) Successful in 8s
Details
Check code formatting / Check-Python-Flake8 (push) Successful in 10s
Details
Check code formatting / Check-Bash-Shellcheck (push) Successful in 5s
Details
Run unit tests on host / Run-Unit-Tests (push) Successful in 9s
Details
Run pytests / Check-Pytest (push) Successful in 11s
Details
matthias
added 1 commit 2026-01-27 18:11:57 +00:00
All checks were successful
Build RPi Pico firmware image / Build-Firmware (push) Successful in 4m49s
Details
Check code formatting / Check-C-Format (push) Successful in 8s
Details
Check code formatting / Check-Python-Flake8 (push) Successful in 9s
Details
Check code formatting / Check-Bash-Shellcheck (push) Successful in 4s
Details
Run unit tests on host / Run-Unit-Tests (push) Successful in 8s
Details
Run pytests / Check-Pytest (push) Successful in 10s
Details
Merge pull request 'fix: frontend: Correctly escape filenames in URL parameters' (#69) from fix-url-filenames into main
Reference in New Issue
Block a user
Delete Branch "fix-url-filenames"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?