Discriminate WG21 index refresh failures and propagate stale signal t…#76

wpak-ai merged 8 commits into

developcppalliance/paperscout:developfrom

feat/index-refresh-error-discriminationcppalliance/paperscout:feat/index-refresh-error-discriminationCopy head branch name to clipboard