CI: use --profile instead of profile shorthands (#38644)

Before, we used shorthands for profiles selection (`--release`,
`--production`), but it would be more correct to just use actual
`--profile` so we do not need shorthands for all of them.

Motivation: I want to create "profiling" builds in CI.

Testing: CI change is covered by CI.

Signed-off-by: sagudev <16504129+sagudev@users.noreply.github.com>

.github/workflows/linux.yml

@@ -181,20 +181,20 @@ jobs:
 
       - name: Build (${{ inputs.profile }})
         run: |
-          ./mach build --use-crown --locked --${{ inputs.profile }} ${{ inputs.build-args }}
+          ./mach build --use-crown --locked --profile ${{ inputs.profile }} ${{ inputs.build-args }}
           cp -r target/cargo-timings target/cargo-timings-linux
       - name: Smoketest
-        run: xvfb-run ./mach smoketest --${{ inputs.profile  }}
+        run: xvfb-run ./mach smoketest --profile ${{ inputs.profile  }}
       - name: Script tests
         run: ./mach test-scripts
       - name: Unit tests
         if: ${{ inputs.unit-tests }}
         env:
           NEXTEST_RETRIES: 2 # https://github.com/servo/servo/issues/30683
-        run: ./mach test-unit --${{ inputs.profile }}
+        run: ./mach test-unit --profile ${{ inputs.profile }}
       - name: Devtools tests
         if: ${{ false && inputs.unit-tests }}  # FIXME #39273
-        run: ./mach test-devtools --${{ inputs.profile }}
+        run: ./mach test-devtools --profile ${{ inputs.profile }}
       - name: Archive build timing
         uses: actions/upload-artifact@v4
         with:
@@ -202,7 +202,7 @@ jobs:
           # Using a wildcard here ensures that the archive includes the path.
           path: target/cargo-timings-*
       - name: Build mach package
-        run: ./mach package --${{ inputs.profile }}
+        run: ./mach package --profile ${{ inputs.profile }}
       - name: Upload artifact for mach package
         uses: actions/upload-artifact@v4
         with: