change(ci): enable esp32p4 check public header

jendo42 · Aug 4, 2023 · 3fdddc2 · 3fdddc2
1 parent b9708d9
commit 3fdddc2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitlab/ci/pre_check.yml b/.gitlab/ci/pre_check.yml
@@ -120,6 +120,7 @@ check_public_headers:
     - IDF_TARGET=esp32c2 python tools/ci/check_public_headers.py --jobs 4 --prefix riscv32-esp-elf-
     - IDF_TARGET=esp32c6 python tools/ci/check_public_headers.py --jobs 4 --prefix riscv32-esp-elf-
     - IDF_TARGET=esp32h2 python tools/ci/check_public_headers.py --jobs 4 --prefix riscv32-esp-elf-
+    - IDF_TARGET=esp32p4 python tools/ci/check_public_headers.py --jobs 4 --prefix riscv32-esp-elf-
 
 check_chip_support_components:
   extends: