Skip to content

Conversation

@lucacome
Copy link
Contributor

@lucacome lucacome commented Jan 8, 2025

Proposed changes

We need to revert back to the old name

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 January 8, 2025 17:40
@github-actions github-actions bot added the chore Pull requests for routine tasks label Jan 8, 2025
@lucacome lucacome enabled auto-merge (squash) January 8, 2025 17:40
@lucacome lucacome closed this Jan 8, 2025
auto-merge was automatically disabled January 8, 2025 17:47

Pull request was closed

@lucacome lucacome deleted the chore/runner-name branch February 19, 2025 03:43
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

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants