Skip to content

Fixes #3081 build on github#3082

Merged
Yuri05 merged 21 commits intodevelopfrom
3081-build-on-github
Feb 21, 2025
Merged

Fixes #3081 build on github#3082
Yuri05 merged 21 commits intodevelopfrom
3081-build-on-github

Conversation

@rwmcintosh
Copy link
Member

Fixes #3081

@codecov-commenter
Copy link

Welcome to Codecov 🎉

Once you merge this PR into your default branch, you're all set! Codecov will compare coverage reports and display results in all future pull requests.

Thanks for integrating Codecov - We've got you covered ☂️

@rwmcintosh rwmcintosh requested a review from Yuri05 February 21, 2025 16:32
@rwmcintosh rwmcintosh self-assigned this Feb 21, 2025
@rwmcintosh
Copy link
Member Author

image

@Yuri05 Yuri05 merged commit c48b799 into develop Feb 21, 2025
1 of 3 checks passed
@Yuri05 Yuri05 deleted the 3081-build-on-github branch February 21, 2025 18:11
@Yuri05 Yuri05 moved this from Done to Verified in v12.1 Jul 15, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

No open projects
Status: Verified

Development

Successfully merging this pull request may close these issues.

Build on github

3 participants