config
                                
                                 config copied to clipboard
                                
                                    config copied to clipboard
                            
                            
                            
                        [infrastructure] Update Codecov usage
Similar to https://github.com/taocpp/PEGTL/pull/374
@ColinH @d-frey I don't access to https://github.com/taocpp/config settings, so I can't add the Codecov secret Token.
Could you please add it? Need to copy the token listed in https://app.codecov.io/gh/taocpp/config/config/general
Then add it to https://github.com/taocpp/config/settings/secrets/actions by clicking on "New repository secret". The expected variable name is CODECOV_TOKEN.