Skip to content

ci: Run CI on all platforms#1162

Merged
grdsdev merged 6 commits into
mainfrom
guilherme/ci
May 5, 2025
Merged

ci: Run CI on all platforms#1162
grdsdev merged 6 commits into
mainfrom
guilherme/ci

Conversation

@grdsdev

@grdsdev grdsdev commented May 2, 2025

Copy link
Copy Markdown
Contributor

What kind of change does this PR introduce?

Run CI on all available platforms, and verify examples builds.

@coveralls

coveralls commented May 2, 2025

Copy link
Copy Markdown

Pull Request Test Coverage Report for Build 14810630647

Details

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 75.375%

Totals Coverage Status
Change from base Build 14730510657: 0.0%
Covered Lines: 2868
Relevant Lines: 3805

💛 - Coveralls

@grdsdev grdsdev requested review from Vinzent03 and dshukertjr May 2, 2025 10:23
@grdsdev grdsdev marked this pull request as ready for review May 2, 2025 10:23

@dshukertjr dshukertjr left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Do we want to add Android to the list of builds?

@grdsdev

grdsdev commented May 3, 2025

Copy link
Copy Markdown
Contributor Author

Do we want to add Android to the list of builds?

Yes, missed that one.

@grdsdev grdsdev requested a review from dshukertjr May 5, 2025 11:06
@grdsdev grdsdev merged commit 26c06c9 into main May 5, 2025
@grdsdev grdsdev deleted the guilherme/ci branch May 5, 2025 12:31
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.

3 participants