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

🐛 Fixes trigger for linter #1378

Merged
merged 1 commit into from
Jul 8, 2024
Merged

🐛 Fixes trigger for linter #1378

merged 1 commit into from
Jul 8, 2024

Conversation

batistein
Copy link
Contributor

What this PR does / why we need it:
Trigger event was not matching

Which issue(s) this PR fixes (optional, in fixes #<issue number>(, fixes #<issue_number>, ...) format, will close the issue(s) when PR gets merged):
Fixes #

Special notes for your reviewer:

Please confirm that if this PR changes any image versions, then that's the sole change this PR makes.

TODOs:

  • squash commits
  • include documentation
  • add unit tests

@batistein batistein requested a review from guettli July 8, 2024 12:46
@syself-bot syself-bot bot added size/XS Denotes a PR that changes 0-20 lines, ignoring generated files. area/github Changes made in the github directory labels Jul 8, 2024
@batistein batistein merged commit 008fcb2 into main Jul 8, 2024
8 checks passed
@batistein batistein deleted the batistein/fixes-lint branch July 8, 2024 17:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/github Changes made in the github directory size/XS Denotes a PR that changes 0-20 lines, ignoring generated files.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant