Skip to content
This repository has been archived by the owner on Jan 12, 2024. It is now read-only.

Fixing CI #800

Merged
merged 8 commits into from
Jul 26, 2023
Merged

Fixing CI #800

merged 8 commits into from
Jul 26, 2023

Conversation

kuzminrobin
Copy link
Contributor

@kuzminrobin kuzminrobin commented Jul 21, 2023 •
edited
Loading

@kuzminrobin kuzminrobin self-assigned this Jul 21, 2023
This was referenced Jul 25, 2023
Merged
Merged
Merged
Merged
Merged
Merged
Merged
@kuzminrobin kuzminrobin marked this pull request as ready for review July 25, 2023 23:25
@kuzminrobin kuzminrobin merged commit 9183a5d into main Jul 26, 2023
33 checks passed
@kuzminrobin kuzminrobin deleted the kuzminrobin/fixCI branch July 26, 2023 00:45
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@ScottCarda-MS ScottCarda-MS ScottCarda-MS approved these changes

Assignees

@kuzminrobin kuzminrobin

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@kuzminrobin @ScottCarda-MS