Passed
Pull Request — master (#6563)
by
unknown
19:00 queued 09:02
created

No notable changes

There were no notable changes in the changeset which was inspected.

7.17
▶   ± 0
Head
github-actions[bot]  
Merge 0a1bb8027c6c569b48a5aa3fceea091529ad93d6 into baa4e8e0fd67d0aa071992a55996262200356dd8
1 more commit
Base
Vitalii Koshura  
Merge pull request #6562 from BOINC/vko_improve_coverity_build