The CI is too friendly #7424

Closed

opened

on Jan 30, 2023

The welcome workflow introduced in #7398 resend the welcome message for each commit. cf #7406

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests