Skip to content

ci: Run CI on all platforms #1162

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 6 commits into
base: main
Choose a base branch
from
Open

ci: Run CI on all platforms #1162

wants to merge 6 commits into from
+296 −37

Conversation

grdsdev
Copy link
Contributor

@grdsdev grdsdev commented May 2, 2025 •
edited
Loading

What kind of change does this PR introduce?

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

@coveralls
Copy link

coveralls commented May 2, 2025 •
edited
Loading

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 reviewed May 3, 2025
View reviewed changes
Copy link
Member

@dshukertjr dshukertjr left a comment

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
Copy link
Contributor Author

grdsdev commented May 3, 2025

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

Yes, missed that one.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@dshukertjr dshukertjr dshukertjr left review comments

@Vinzent03 Vinzent03 Awaiting requested review from Vinzent03

At least 1 approving review is required to merge this pull request.

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@grdsdev @coveralls @dshukertjr