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.

Sign up for GitHub

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

Jump to bottom

add reload button #52

Merged
merged 3 commits into from
Jul 16, 2024
Merged

add reload button #52

merged 3 commits into from
Jul 16, 2024

Conversation

sebastian-goeldi
Copy link
Collaborator

@sourcery-ai Sourcery AI
Copy link

sourcery-ai bot commented Jul 16, 2024 •
edited
Loading

🧙 Sourcery has finished reviewing your pull request!

Tips
  • Trigger a new Sourcery review by commenting @sourcery-ai review on the pull request.
  • Continue your discussion with Sourcery by replying directly to review comments.
  • You can change your review settings at any time by accessing your dashboard:
    • Enable or disable the Sourcery-generated pull request summary or reviewer's guide;
    • Change the review language;
  • You can always contact us if you have any questions or feedback.

sourcery-ai[bot]
sourcery-ai bot reviewed Jul 16, 2024
View reviewed changes
Copy link

@sourcery-ai sourcery-ai bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We've reviewed this pull request using the Sourcery rules engine. If you would also like our AI-powered code review then let us know.

@github-actions github-actions bot added enhancement New feature or request documentation Improvements or additions to documentation github_actions Pull requests that update GitHub Actions code labels Jul 16, 2024
@sebastian-goeldi sebastian-goeldi merged commit 5dc7b44 into main Jul 16, 2024
2 checks passed
@sebastian-goeldi sebastian-goeldi deleted the reload-button branch July 16, 2024 10:20
@sebastian-goeldi sebastian-goeldi mentioned this pull request Jul 16, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@sourcery-ai sourcery-ai[bot] sourcery-ai[bot] left review comments

Assignees
No one assigned
Labels
documentation Improvements or additions to documentation enhancement New feature or request github_actions Pull requests that update GitHub Actions code
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@sebastian-goeldi