Skip to content

[CI] Delete unused PR Differences Mutants workflow  #6136

Open
@fdefelici

Description

@fdefelici

We've decided to delete this workflow after discussing it with @wileyj.
While the original idea was good, in practice it proved unworkable:

  • In CI environments, the workflow often timed out or failed, even after running for several hours.
  • On dedicated hardware (24-core system), a full mutant test could take up to a week to complete.

Given these performance and reliability concerns, we concluded that maintaining this workflow is not practical. So we delete it by now to avoid maintainance issue (such as PAT removal, and so on...)

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

Status

Status: 🆕 New

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions