Skip to content

Fix ohos.yml bencher file size on main#42997

Merged
TimvdLippe merged 1 commit into
servo:mainfrom
jschwe:jschwender/fix-another-ohos-rename-bug
Mar 3, 2026
Merged

Fix ohos.yml bencher file size on main#42997
TimvdLippe merged 1 commit into
servo:mainfrom
jschwe:jschwender/fix-another-ohos-rename-bug

Conversation

@jschwe
Copy link
Copy Markdown
Member

@jschwe jschwe commented Mar 3, 2026

Renaming the job in #42929 silently broke the evaluation here.

Testing: Can only be tested on main / in priviledge contexts / otherwise the unsigned binary is anyway built.
Fixes: ohos bencher failing on main (since the wrong binary name is chosen)

Renaming the job in servo#42929 silently broke the evaluation here.

Signed-off-by: Jonathan Schwender <[email protected]>
@jschwe jschwe requested a review from sagudev as a code owner March 3, 2026 16:03
@servo-highfive servo-highfive added the S-awaiting-review There is new code that needs to be reviewed. label Mar 3, 2026
@servo-highfive servo-highfive removed the S-awaiting-review There is new code that needs to be reviewed. label Mar 3, 2026
@TimvdLippe TimvdLippe added this pull request to the merge queue Mar 3, 2026
@servo-highfive servo-highfive added the S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. label Mar 3, 2026
Merged via the queue into servo:main with commit baf2d0f Mar 3, 2026
33 checks passed
@servo-highfive servo-highfive removed the S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. label Mar 3, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants