Skip to content

flowey: use dev manifests for mi-secure CI gate#3216

Open
will-j-wright wants to merge 1 commit intomicrosoft:mainfrom
will-j-wright:fix-mi-secure-vtl2-memory
Open

flowey: use dev manifests for mi-secure CI gate#3216
will-j-wright wants to merge 1 commit intomicrosoft:mainfrom
will-j-wright:fix-mi-secure-vtl2-memory

Conversation

@will-j-wright
Copy link
Copy Markdown
Contributor

@will-j-wright will-j-wright commented Apr 7, 2026

The mi-secure CI gate was using release manifests (70MB VTL2 memory) when building with ship profile, but the mi-secure binary doesn't fit. Add explicit release_cfg to OpenhclIgvmBuildParams so the mi-secure gate can use the ship profile while selecting dev manifests (512MB VTL2 memory).

@will-j-wright will-j-wright requested a review from a team as a code owner April 7, 2026 16:52
Copilot AI review requested due to automatic review settings April 7, 2026 16:52
@will-j-wright
Copy link
Copy Markdown
Contributor Author

Okay I tried to have Copilot do this one itself from my phone but clearly that’s too difficult

Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR fixes the mi-secure CI gate selecting the wrong IGVM manifest set by decoupling “how we compile OpenHCL” (build profile) from “which IGVM configuration/manifests we generate” (release vs dev manifests), allowing mi-secure to use the ship build profile while still using dev manifests (larger VTL2 memory).

Changes:

  • Add an explicit boolean on OpenhclIgvmBuildParams to drive release_cfg selection instead of deriving it from OpenvmmHclBuildProfile.
  • Wire the new flag through the checkin gates and reproducible build pipelines.
  • Force mi-secure to use dev manifests (release_profile: false) even when building with the ship profile.

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 3 comments.

File Description
flowey/flowey_lib_hvlite/src/_jobs/build_and_publish_openhcl_igvm_from_recipe.rs Adds a new build param and uses it to set release_cfg explicitly when requesting IGVM builds.
flowey/flowey_hvlite/src/pipelines/checkin_gates.rs Passes the new flag for normal OpenHCL builds and forces dev manifests for the mi-secure gate.
flowey/flowey_hvlite/src/pipelines/build_reproducible.rs Passes the new flag to keep manifest selection consistent with the chosen pipeline “release” mode.

@will-j-wright will-j-wright force-pushed the fix-mi-secure-vtl2-memory branch from eed2af3 to 80e2e1b Compare April 7, 2026 16:58
Move release_cfg from being derived inside build_and_publish to being
set explicitly by callers. This allows the mi-secure CI gate to use
the ship profile (to catch optimization bugs) while using dev manifests
(with larger VTL2 memory) since mi-secure adds overhead that doesn't
fit in the release memory budget.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Copilot AI review requested due to automatic review settings April 7, 2026 17:02
@will-j-wright will-j-wright force-pushed the fix-mi-secure-vtl2-memory branch from 80e2e1b to 8419be7 Compare April 7, 2026 17:02
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Copilot reviewed 3 out of 3 changed files in this pull request and generated 2 comments.

@smalis-msft smalis-msft added the release-ci-required Add to a PR to trigger PR gates in release mode label Apr 7, 2026
@smalis-msft
Copy link
Copy Markdown
Contributor

how much overhead does mi-secure add?

@will-j-wright
Copy link
Copy Markdown
Contributor Author

how much overhead does mi-secure add?

I'm not sure how to measure that exactly, do you have any suggestions?

@smalis-msft
Copy link
Copy Markdown
Contributor

smalis-msft commented Apr 7, 2026

Maybe message Daniel Paliulis and ask? He's done it a fair bit.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release-ci-required Add to a PR to trigger PR gates in release mode

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants