Skip to content

Delete ports/esp32/boards/ESP32_GENERIC_P4/board.md #57

Delete ports/esp32/boards/ESP32_GENERIC_P4/board.md

Delete ports/esp32/boards/ESP32_GENERIC_P4/board.md #57

Triggered via push August 20, 2025 09:19
Status Cancelled
Total duration 13s
Artifacts
code-formatting
0s
code-formatting
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Check code formatting
Canceling since a higher priority waiting request for Check code formatting-refs/heads/esp32p4_new2 exists
code-formatting
Canceling since a higher priority waiting request for Check code formatting-refs/heads/esp32p4_new2 exists