Skip to content

bazel: re-organize bazelrc#15522

Merged
bolinfest merged 2 commits intoopenai:mainfrom
sluongng:sluongng/bazelrc-imp
Mar 26, 2026
Merged

bazel: re-organize bazelrc#15522
bolinfest merged 2 commits intoopenai:mainfrom
sluongng:sluongng/bazelrc-imp

Conversation

@sluongng
Copy link
Copy Markdown
Contributor

Replaced ci.bazelrc and v8-ci.bazelrc by custom configs inside the main
.bazelrc file. As a result, github workflows setup is simplified down to
a single '--config=' flag usage.

Moved the build metadata flags to config=ci.
Added custom tags metadata to help differentiate invocations based on
workflow (bazel vs v8) and os (linux/macos/windows).

Enabled users to override the default values in .bazelrc by using a
user.bazelrc file locally.
Added user.bazelrc to gitignore.

Replaced ci.bazelrc and v8-ci.bazelrc by custom configs inside the main
.bazelrc file. As a result, github workflows setup is simplified down to
a single '--config=<foo>' flag usage.

Moved the build metadata flags to config=ci.
Added custom tags metadata to help differentiate invocations based on
workflow (bazel vs v8) and os (linux/macos/windows).

Enabled users to override the default values in .bazelrc by using a
user.bazelrc file locally.
Added user.bazelrc to gitignore.
@github-actions
Copy link
Copy Markdown
Contributor

github-actions bot commented Mar 23, 2026

All contributors have signed the CLA ✍️ ✅
Posted by the CLA Assistant Lite bot.

@sluongng
Copy link
Copy Markdown
Contributor Author

I have read the CLA Document and I hereby sign the CLA

github-actions bot added a commit that referenced this pull request Mar 23, 2026
@etraut-openai etraut-openai added the oai PRs contributed by OpenAI employees label Mar 23, 2026
@bolinfest bolinfest self-requested a review March 26, 2026 23:49
@bolinfest bolinfest merged commit a27cd2d into openai:main Mar 26, 2026
67 of 77 checks passed
@github-actions github-actions bot locked and limited conversation to collaborators Mar 26, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

oai PRs contributed by OpenAI employees

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants