Skip to content

Fix CI#258

Merged
bors[bot] merged 8 commits intomasterfrom
fix-ci
Feb 26, 2023
Merged

Fix CI#258
bors[bot] merged 8 commits intomasterfrom
fix-ci

Conversation

@duckinator
Copy link
Owner

No description provided.

@duckinator
Copy link
Owner Author

bors r+

@bors
Copy link
Contributor

bors bot commented Feb 26, 2023

Build succeeded:

  • CI success

@bors bors bot merged commit f5b8434 into master Feb 26, 2023
@bors bors bot deleted the fix-ci branch February 26, 2023 00:51
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