chore: Change reserved `debug` profile name to `dev`, the correct name, in CI

Also, it's `--cargo-profile`, not `--profile`, for `cargo nextest`.
This commit is contained in:
Mikolaj Wielgus 2025-09-17 16:39:21 +02:00
parent 23988477a2
commit ffb96ffff1
1 changed files with 3 additions and 3 deletions

View File

@ -8,10 +8,10 @@ matrix:
PROFILE: release
FEATURES: disable_contracts
- CHANNEL: stable
PROFILE: debug
PROFILE: dev
FEATURES: disable_contracts
- CHANNEL: nightly
PROFILE: debug
PROFILE: dev
FEATURES:
steps:
@ -37,7 +37,7 @@ steps:
- curl -L --proto '=https' --tlsv1.2 -sSf https://raw.githubusercontent.com/cargo-bins/cargo-binstall/main/install-from-binstall-release.sh | bash
- cargo binstall --no-confirm cargo-nextest
- rustup default "$CHANNEL"
- cargo nextest run -j4 --profile "$PROFILE" --hide-progress-bar --success-output final --no-default-features --features "$FEATURES"
- cargo nextest run -j4 --cargo-profile "$PROFILE" --hide-progress-bar --success-output final --no-default-features --features "$FEATURES"
when:
event: [pull_request, push, tag]
# Only run tests for stable channel to avoid straining Codeberg's CI.