Skip to content

Run codecov only in merge queue or manually #500

@emhane

Description

@emhane

Describe the feature

In order to make CI usage more economic, we want to run codecov only in merge queue or on manual dispatch

Additional context

No response

Metadata

Metadata

Assignees

Labels

A-ciArea: CIK-metaKind: changes in contributor workflowW-historical-proofsWorkstream: historical-proofs

Type

No type

Projects

Status

Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions