Skip to content

Conversation

lucacome
Copy link
Contributor

Proposed changes

Avoid running the CI pipeline on docs changes

Closes #2817

Checklist

Before creating a PR, run through this checklist and mark each as complete.

  • I have read the CONTRIBUTING doc
  • I have added tests that prove my fix is effective or that my feature works
  • I have checked that all unit tests pass after adding my changes
  • I have updated necessary documentation
  • I have rebased my branch onto main
  • I will ensure my PR is targeting the main branch and pulling from my branch from my own fork

Release notes

If this PR introduces a change that affects users and needs to be mentioned in the release notes,
please add a brief note that summarizes the change.

NONE

@lucacome lucacome requested a review from a team as a code owner December 19, 2024 11:09
@github-actions github-actions bot added the chore Pull requests for routine tasks label Dec 19, 2024
Copy link

codecov bot commented Dec 19, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 89.74%. Comparing base (1b13488) to head (f19aa1c).

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #2931   +/-   ##
=======================================
  Coverage   89.74%   89.74%           
=======================================
  Files         109      109           
  Lines       11150    11150           
  Branches       50       50           
=======================================
  Hits        10007    10007           
  Misses       1083     1083           
  Partials       60       60           

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

@lucacome lucacome marked this pull request as draft December 19, 2024 13:46
Copy link
Contributor

github-actions bot commented Jan 3, 2025

This PR is stale because it has been open 14 days with no activity. Remove stale label or comment or this will be closed in 14 days.

@github-actions github-actions bot added the stale Pull requests/issues with no activity label Jan 3, 2025
@sindhushiv sindhushiv removed the stale Pull requests/issues with no activity label Jan 3, 2025
Copy link
Contributor

This PR is stale because it has been open 14 days with no activity. Remove stale label or comment or this will be closed in 14 days.

@github-actions github-actions bot added the stale Pull requests/issues with no activity label Jan 18, 2025
Copy link
Contributor

github-actions bot commented Feb 1, 2025

This PR was closed because it has been stalled for 14 days with no activity.

@github-actions github-actions bot closed this Feb 1, 2025
@lucacome lucacome deleted the chore/skip-docs branch February 5, 2025 17:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Pull requests for routine tasks stale Pull requests/issues with no activity

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

Skip pipeline jobs if only changing docs

2 participants