Improve CI#5

Closed

Harvester57 wants to merge 18 commits intoimprove-cifrom

Commits on Dec 9, 2025

htmlreport: support remote GitHub/GitLab links for source files (#7988)
rgetz
authored
Fix #13303 FN unreadVariable (iterator) (#8023)
chrchr-github
authored
refs #14280 - report inline suppressions without an error ID (#8011)
firewave
authored

Commits on Dec 10, 2025

htmlreport: preserve filter state when navigating back/forward (#7993)
rgetz
authored
Fix #14305 Wrong buffer sizes computed by valueFlowDynamicBufferSize() (#8006)

chrchr-github
and
web-flow
authored

Commits on Dec 12, 2025