ci: Use `Cargo`'s `dev` profile

Using the `dev` profile means faster builds and more checks.

Signed-off-by: Remi Gacogne <remi.gacogne@powerdns.com>

diff --git a/.github/workflows/build-and-test-all.yml b/.github/workflows/build-and-test-all.yml
index ba3d4a81a5610ccb1a8bd279e8e6443ead2e1fca..453e6a2ca42957720ee314f832968344cbb8c590 100644 (file)
--- a/.github/workflows/build-and-test-all.yml
+++ b/.github/workflows/build-and-test-all.yml
@@ -159,6 +159,7 @@ jobs:
         SANITIZERS: ${{ matrix.sanitizers }}
         UBSAN_OPTIONS: "print_stacktrace=1:halt_on_error=1:suppressions=${{ env.REPO_HOME }}/build-scripts/UBSan.supp"
         UNIT_TESTS: yes
+        CARGO_USE_DEV: 1
       options: --sysctl net.ipv6.conf.all.disable_ipv6=0
     defaults:
       run:
@@ -248,6 +249,7 @@ jobs:
         UBSAN_OPTIONS: "print_stacktrace=1:halt_on_error=1:suppressions=${{ env.REPO_HOME }}/build-scripts/UBSan.supp"
         UNIT_TESTS: yes
         FUZZING_TARGETS: yes
+        CARGO_USE_DEV: 1
       options: --sysctl net.ipv6.conf.all.disable_ipv6=0
     defaults:
       run:

diff --git a/.github/workflows/codeql-analysis.yml b/.github/workflows/codeql-analysis.yml
index 75820cb6b58276527df45fd33b27fea0b8aa64a6..a82795b6483514841bc1e9c988c18c9c969756df 100644 (file)
--- a/.github/workflows/codeql-analysis.yml
+++ b/.github/workflows/codeql-analysis.yml
@@ -52,6 +52,7 @@ jobs:
       # for clang-tidy only, not compilation
       CLANG_VERSION: '14'
       REPO_HOME: ${{ github.workspace }}
+      CARGO_USE_DEV: 1
 
     outputs:
       clang-tidy-annotations-auth: ${{ steps.clang-tidy-annotations-auth.outputs.failed }}

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index e50d6894608ba28483a27526325122418c228e23..e25e49b1d33e79e2b1cdbd6c9577a3ca6fa81e96 100644 (file)
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -59,6 +59,7 @@ jobs:
       COVERITY_TOKEN: ${{ secrets.COVERITY_TOKEN }}
       SANITIZERS:
       UNIT_TESTS: no
+      CARGO_USE_DEV: 1
       REPO_HOME: ${{ github.workspace }}
     steps:
       - uses: PowerDNS/pdns/set-ubuntu-mirror@meta
@@ -103,6 +104,7 @@ jobs:
       COVERITY_TOKEN: ${{ secrets.COVERITY_TOKEN }}
       SANITIZERS:
       UNIT_TESTS: no
+      CARGO_USE_DEV: 1
     steps:
       - uses: PowerDNS/pdns/set-ubuntu-mirror@meta
       - uses: actions/checkout@v5