Skip to content

Updating the workflow to include Windows.#156

Merged
jwoertink merged 2 commits intomainfrom
windows_workflow
Jul 1, 2023
Merged

Updating the workflow to include Windows.#156
jwoertink merged 2 commits intomainfrom
windows_workflow

Conversation

@jwoertink
Copy link
Member

Also updated shards and fixing some linting and formatting.

@jwoertink jwoertink merged commit 5568553 into main Jul 1, 2023
@jwoertink jwoertink deleted the windows_workflow branch July 1, 2023 17:26
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.

1 participant