diff --git a/.github/workflows/_pr_entrypoint.yaml b/.github/workflows/_pr_entrypoint.yaml index c22194586..638f2e9ea 100644 --- a/.github/workflows/_pr_entrypoint.yaml +++ b/.github/workflows/_pr_entrypoint.yaml @@ -70,6 +70,7 @@ jobs: - id: compile env: PROFILE: ${{ matrix.profile }} + ENABLE_COVER_COMPILE: 1 run: | make $PROFILE zip -ryq $PROFILE.zip .