Skip to content

Tidy up the last few Ruff problems in deploy.py#157

Merged
rswarbrick merged 1 commit intolowRISC:masterfrom
rswarbrick:deploy-minor-ruff
Apr 3, 2026
Merged

Tidy up the last few Ruff problems in deploy.py#157
rswarbrick merged 1 commit intolowRISC:masterfrom
rswarbrick:deploy-minor-ruff

Conversation

@rswarbrick
Copy link
Copy Markdown
Contributor

No description provided.

@rswarbrick
Copy link
Copy Markdown
Contributor Author

Note: The import line at the top of the file actually also appears in #154, but that's the only merge conflict - the PRs can land in either order.

Signed-off-by: Rupert Swarbrick <rswarbrick@lowrisc.org>
@rswarbrick rswarbrick added this pull request to the merge queue Apr 3, 2026
Merged via the queue into lowRISC:master with commit f83c7e1 Apr 3, 2026
6 checks passed
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.

2 participants