Skip to content

Auto format code on save and add more details to AGENTS.md#1582

Merged
pakrym-oai merged 7 commits intomainfrom
pakrym/auto-format-code-on-save-and-make-codex-runs-more-reliable
Jul 17, 2025
Merged

Auto format code on save and add more details to AGENTS.md#1582
pakrym-oai merged 7 commits intomainfrom
pakrym/auto-format-code-on-save-and-make-codex-runs-more-reliable

Conversation

@pakrym-oai
Copy link
Copy Markdown
Collaborator

@pakrym-oai pakrym-oai commented Jul 15, 2025

Adds a default vscode config with generally applicable settings.
Adds makefile with some entrypoints for environment setup and to help agents better verify changes.

@pakrym-oai pakrym-oai marked this pull request as ready for review July 16, 2025 00:35
@pakrym-oai pakrym-oai requested a review from bolinfest July 16, 2025 00:35
…olchain.toml

- Pass --all-features to cargo clippy in fix target for broader lint coverage
- Remove explicit rustup component add from install target
- Add codex-rs/toolchain.toml to manage Rust toolchain and components declaratively
Comment thread codex-rs/toolchain.toml
@@ -0,0 +1,3 @@
[toolchain]
channel = "1.88.0"
Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

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

aligns local rust version with ci

}

impl<'a> BottomPaneView<'a> for StatusIndicatorView {
impl BottomPaneView<'_> for StatusIndicatorView {
Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

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

result of running cargo clippy --fix --all-features --tests locally with 1.88

Comment thread Makefile Outdated
test:
cd codex-rs && cargo test --all-features

install:
Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

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

to be called by codex environment setup

Copy link
Copy Markdown
Collaborator

@bolinfest bolinfest left a comment

Choose a reason for hiding this comment

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

Main question is around the Makefile.

Comment thread .vscode/settings.json
Comment thread .vscode/settings.json Outdated
Comment thread AGENTS.md Outdated

- Never add or modify any code related to `CODEX_SANDBOX_NETWORK_DISABLED_ENV_VAR`. You operate in a sandbox where `CODEX_SANDBOX_NETWORK_DISABLED=1` will be set whenever you use the `shell` tool. Any existing code that uses `CODEX_SANDBOX_NETWORK_DISABLED_ENV_VAR` was authored with this fact in mind. It is often used to early exit out of tests that the author knew you would not be able to run given your sandbox limitations.

After making changes to the rust code run `make format` to format the code and `make fix` to fix the code.
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

I know everyone has their favorite tool, but can we stick with the codex-rs/justfile?

I admit that make is more commonly available than just, but it feels a bit weird to have both?

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

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

Completely missed there was a just file

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

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

Deleted.

Copy link
Copy Markdown
Collaborator

@bolinfest bolinfest left a comment

Choose a reason for hiding this comment

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

Thanks!

@pakrym-oai pakrym-oai merged commit 6949329 into main Jul 17, 2025
11 checks passed
@pakrym-oai pakrym-oai deleted the pakrym/auto-format-code-on-save-and-make-codex-runs-more-reliable branch July 17, 2025 18:40
@github-actions github-actions Bot locked and limited conversation to collaborators Jul 17, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants