Skip to content

use release profile by default for upload and pre_game#1963

Open
schmidma wants to merge 1 commit intoHULKs:mainfrom
schmidma:faster-release
Open

use release profile by default for upload and pre_game#1963
schmidma wants to merge 1 commit intoHULKs:mainfrom
schmidma:faster-release

Conversation

@schmidma
Copy link
Member

Why? What?

Switches the default Cargo profile to release when none is specified,
ensuring optimized builds without debug assertions or checks. This
avoids runtime overhead during deployment to the nao, where performance
is more important.

@github-project-automation github-project-automation bot moved this to Request for Review in Development Jul 16, 2025
@schmidma schmidma enabled auto-merge July 16, 2025 12:41
@schmidma schmidma force-pushed the faster-release branch 2 times, most recently from 482ac5b to 8d2caa4 Compare July 16, 2025 13:01
Switches the default Cargo profile to `release` when none is specified,
ensuring optimized builds without debug assertions or checks. This
avoids runtime overhead during deployment to the nao, where performance
is more important.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

Status: Request for Review

Development

Successfully merging this pull request may close these issues.

2 participants