Skip to content

Codecov not working properly anymore #1458

New issue
New issue
Open
Bug
#1782
Open
Codecov not working properly anymore#1458
Bug
#1782
Labels
A-spec-toolArea: Specification Tooling—Tools for the Ethereum specification (eg. `src/ethereum_spec_tools/*`)C-bugCategory: this is a bug, deviation, or other problem
@SamWilsn

Description

@SamWilsn
SamWilsn
opened on Oct 7, 2025

What was wrong?

Apparently we need to install a GitHub app for codecov now.

How can it be fixed?

Install the app or find an alternative.

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-spec-toolArea: Specification Tooling—Tools for the Ethereum specification (eg. `src/ethereum_spec_tools/*`)C-bugCategory: this is a bug, deviation, or other problem

    Type

    Bug

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions