search

ariadne-cps / ariadne

C++ framework for rigorous computation on cyber-physical systems
http://www.ariadne-cps.org
GNU General Public License v3.0
28 stars 9 forks source link

Upgrade Actions to Clang 12 #715

Closed lgeretti closed 1 year ago

codecov[bot] commented 1 year ago

Codecov Report

Merging #715 (bcb9d39) into master (b9d66bb) will not change coverage. The diff coverage is n/a.

:exclamation: Current head bcb9d39 differs from pull request most recent head 577895f. Consider uploading reports for the commit 577895f to get more accurate results

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #715 +/- ## ======================================= Coverage 64.06% 64.06% ======================================= Files 298 298 Lines 28132 28132 ======================================= Hits 18024 18024 Misses 10108 10108 ```