Skip to content

Ruff fixes#791

Merged
garth-wells merged 1 commit intomainfrom
ruff-fixes
Mar 3, 2024
Merged

Ruff fixes#791
garth-wells merged 1 commit intomainfrom
ruff-fixes

Conversation

@garth-wells
Copy link
Member

No description provided.

@garth-wells garth-wells added housekeeping CI Continuous integration labels Mar 3, 2024
@garth-wells garth-wells enabled auto-merge March 3, 2024 16:56
@garth-wells garth-wells added this pull request to the merge queue Mar 3, 2024
Merged via the queue into main with commit 5e7491a Mar 3, 2024
@garth-wells garth-wells deleted the ruff-fixes branch March 3, 2024 17:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI Continuous integration housekeeping

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant