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

Don't run on each push #1123

Merged

ggravlingen merged 2 commits into main from pl_202501021410

Jan 2, 2025

Owner

ggravlingen commented Jan 2, 2025

No description provided.


          Don't run on each push

2544b03

Collaborator

coveralls commented Jan 2, 2025

Pull Request Test Coverage Report for Build 12582967513

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 94.068%

Totals
Change from base Build 12582473714:	0.0%
Covered Lines:	1019
Relevant Lines:	1086

💛 - Coveralls


          Merge branch 'main' into pl_202501021410

7ff4478

ggravlingen merged commit 9e5cce9 into main

8 checks passed

ggravlingen deleted the pl_202501021410 branch

January 2, 2025 13:16

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

Labels

None yet