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

Enable the quality monitor #881

Closed

uhafner wants to merge 3 commits into main from quality-monitor

Owner

uhafner commented Dec 20, 2023

Add a new workflow for the quality monitor.


          Enable the quality monitor.

a3ecb63

github-actions bot commented Dec 20, 2023

☀️ Autograding results

🚦 Tests: 92 tests passed, 2 skipped
👣 Code Coverage: 91% coverage achieved
🔬 Mutation Coverage: 79% mutations killed
⚠️ Style: No warnings found
🐛 Bugs: No warnings found

More details are available in the GitHub Checks Result.


          Enable the quality monitor.

9c8950f

github-actions bot commented Dec 20, 2023

☀️ Quality Monitor

🚦 Tests: 92 tests passed, 2 skipped
👣 Code Coverage: 91% coverage achieved
🔬 Mutation Coverage: 79% mutations killed
⚠️ Style: No warnings found
🐛 Bugs: No warnings found

More details are available in the GitHub Checks Result.


          Improve build script.

844b406

github-actions bot commented Dec 20, 2023

☀️ Quality Monitor

🚦 Tests: 92 tests passed, 2 skipped
👣 Code Coverage: 91% coverage achieved
🔬 Mutation Coverage: 79% mutations killed
⚠️ Style: No warnings found
🐛 Bugs: No warnings found

More details are available in the GitHub Checks Result.

uhafner closed this

uhafner deleted the quality-monitor branch

December 20, 2023 16:16

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

Labels

None yet