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

chore: fix various issues #4

Merged
merged 10 commits into from
May 13, 2024
Merged

chore: fix various issues #4

merged 10 commits into from
May 13, 2024

Conversation

boulc
Copy link

@boulc boulc commented May 13, 2024

What this PR does / why we need it:

Fixes various issues, due to skipping of pull request process, pushing directly to main without passing workflows.

@boulc boulc changed the title chore: dummy chore: fix various issues May 13, 2024
@boulc boulc self-assigned this May 13, 2024
Copy link

codecov bot commented May 13, 2024

Welcome to Codecov 🎉

Once you merge this PR into your default branch, you're all set! Codecov will compare coverage reports and display results in all future pull requests.

ℹ️ You can also turn on project coverage checks and project coverage reporting on Pull Request comment

Thanks for integrating Codecov - We've got you covered ☂️

@boulc boulc marked this pull request as ready for review May 13, 2024 02:39
@boulc boulc merged commit 855f48e into main May 13, 2024
8 checks passed
@boulc boulc deleted the chore/test branch May 13, 2024 02:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant