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

Change Actions to use GCC 11 #713

Closed lgeretti closed 1 year ago

codecov[bot] commented 1 year ago

Codecov Report

Merging #713 (2f0b8d6) into master (dfa9900) will increase coverage by 0.05%. The diff coverage is 100.00%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #713 +/- ## ========================================== + Coverage 64.01% 64.06% +0.05% ========================================== Files 298 298 Lines 28085 28132 +47 ========================================== + Hits 17979 18024 +45 - Misses 10106 10108 +2 ```