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

Delete Scarf related scripts and workflow files #3103

Merged
merged 2 commits into from
Oct 20, 2024

Conversation

htahir1
Copy link
Contributor

@htahir1 htahir1 commented Oct 19, 2024

Describe changes

Reverts #2227 as we dont use scarf anymore

Pre-requisites

Please ensure you have done the following:

  • I have read the CONTRIBUTING.md document.
  • If my change requires a change to docs, I have updated the documentation accordingly.
  • I have added tests to cover my changes.
  • I have based my new branch on develop and the open PR is targeting develop. If your branch wasn't based on develop read Contribution guide on rebasing branch to develop.
  • If my changes require changes to the dashboard, these changes are communicated/requested.

Types of changes

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to change)
  • Other (add details above)

@htahir1 htahir1 requested a review from strickvl October 19, 2024 11:21
@github-actions github-actions bot added internal To filter out internal PRs and issues enhancement New feature or request labels Oct 19, 2024
@htahir1 htahir1 merged commit ab9e984 into develop Oct 20, 2024
49 of 51 checks passed
@htahir1 htahir1 deleted the feature/remove-scarf-checker branch October 20, 2024 20:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request internal To filter out internal PRs and issues
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants