PR #2116 Fix workflow to mark PRs as stale

Fix workflow to mark PRs as stale #2116

echarlaix merged 1 commit into main from stale-pr

Fix workflow to mark PRs as stale

13bc0b3d

echarlaix requested a review from

regisss 1 year ago

echarlaix requested a review from

ivarflakstad 1 year ago

echarlaix marked this pull request as ready for review 1 year ago

ivarflakstad approved these changes on 2024-12-04

regisss approved these changes on 2024-12-04

echarlaix merged 4a7cb298 into main 1 year ago

echarlaix deleted the stale-pr branch 1 year ago

Reviewers

regisss

ivarflakstad

Assignees

No one assigned

Labels

None yet

Milestone

No milestone