Switch GCC-12 CI job to GCC 13 #7841
Merged
Codecov / codecov/project
failed
Aug 14, 2023 in 0s
78.52% (-0.28%) compared to 08a466d
View this Pull Request on Codecov
78.52% (-0.28%) compared to 08a466d
Details
Codecov Report
Patch coverage: 81.25%
and project coverage change: -0.28%
Comparison is base (
08a466d
) 78.80% compared to head (8b95e24
) 78.52%.
Additional details and impacted files
@@ Coverage Diff @@
## develop #7841 +/- ##
===========================================
- Coverage 78.80% 78.52% -0.28%
===========================================
Files 1699 1699
Lines 195104 195107 +3
===========================================
- Hits 153756 153215 -541
- Misses 41348 41892 +544
Files Changed | Coverage Δ | |
---|---|---|
src/goto-cc/ms_cl_cmdline.h | 0.00% <ø> (ø) |
|
src/goto-cc/ms_link_cmdline.h | 0.00% <ø> (ø) |
|
src/goto-programs/elf_reader.cpp | 61.25% <ø> (ø) |
|
src/ansi-c/scanner.l | 63.50% <25.00%> (-0.22%) |
⬇️ |
src/cpp/parse.cpp | 69.17% <100.00%> (+0.08%) |
⬆️ |
☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading