Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Stale issue and PR workflow #362

Merged

Conversation

mcbarton
Copy link
Collaborator

@mcbarton mcbarton commented Dec 2, 2024

This PR makes it so issues and PRs which have had no activity for 90 days will be marked as stale, and will be closed 14 days after that if no further activity.

@mcbarton mcbarton requested a review from vgvassilev December 2, 2024 20:55
Copy link

codecov bot commented Dec 2, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 74.55%. Comparing base (f794dee) to head (4a08c58).
Report is 1 commits behind head on main.

Additional details and impacted files

Impacted file tree graph

@@           Coverage Diff           @@
##             main     #362   +/-   ##
=======================================
  Coverage   74.55%   74.55%           
=======================================
  Files           8        8           
  Lines        3211     3211           
=======================================
  Hits         2394     2394           
  Misses        817      817           

Copy link
Contributor

@vgvassilev vgvassilev left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Let’s see how that would work out.

@mcbarton mcbarton merged commit f25a074 into compiler-research:main Dec 2, 2024
42 checks passed
@mcbarton mcbarton deleted the stale-issue-and-pr-workflow branch December 2, 2024 23:06
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants