Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

ci: add a stale bot for PRs #2804

Merged
merged 6 commits into from
Nov 6, 2024
Merged

ci: add a stale bot for PRs #2804

merged 6 commits into from
Nov 6, 2024

Conversation

aeddi
Copy link
Contributor

@aeddi aeddi commented Sep 16, 2024

Closes #1445

Contributors' checklist...
  • Added new tests, or not needed, or not feasible
  • Provided an example (e.g. screenshot) to aid review or the PR is self-explanatory
  • Updated the official documentation or not needed
  • No breaking changes were made, or a BREAKING CHANGE: xxx message was included in the description
  • Added references to related issues and PRs
  • Provided any useful hints for running manual tests
  • Added new benchmarks to generated graphs, if any. More info here.

Copy link

codecov bot commented Sep 16, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 63.00%. Comparing base (f2928f1) to head (6b353a6).
Report is 1 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #2804      +/-   ##
==========================================
- Coverage   63.35%   63.00%   -0.35%     
==========================================
  Files         548      548              
  Lines       78646    81330    +2684     
==========================================
+ Hits        49825    51245    +1420     
- Misses      25461    26653    +1192     
- Partials     3360     3432      +72     
Flag Coverage Δ
contribs/gnodev 61.11% <ø> (ø)
contribs/gnofaucet 14.82% <ø> (-0.95%) ⬇️
gno.land 67.18% <ø> (ø)
gnovm 67.88% <ø> (ø)
misc/genstd 79.72% <ø> (ø)
tm2 62.44% <ø> (+<0.01%) ⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

Co-authored-by: Manfred Touron <94029+moul@users.noreply.github.com>
@aeddi
Copy link
Contributor Author

aeddi commented Oct 7, 2024

Applied the changes you asked me @moul during our one-on-one chat.

@Kouteki Kouteki added the in focus Core team is prioritizing this work label Oct 18, 2024
@thehowl
Copy link
Member

thehowl commented Oct 31, 2024

@Kouteki to be aware of the rules.

I'd say after exempting milestones, we're good to try and test this out. There may be eventually more fine-grained rules to add, or we can simply get around with the milestone exemption. Excited to see this working.

@Kouteki
Copy link
Contributor

Kouteki commented Nov 6, 2024

Relates to #3072

@thehowl thehowl changed the title feat(github): add a stale bot for PRs ci: add a stale bot for PRs Nov 6, 2024
@thehowl thehowl merged commit 724ffc9 into master Nov 6, 2024
136 checks passed
@thehowl thehowl deleted the dev/aeddi/stale-bot branch November 6, 2024 16:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
in focus Core team is prioritizing this work
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

Setup "nice" stale PRs' bot
5 participants