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

Fix robocrys type errors #803

Merged
merged 1 commit into from
Aug 11, 2023
Merged

Fix robocrys type errors #803

merged 1 commit into from
Aug 11, 2023

Conversation

munrojm
Copy link
Member

@munrojm munrojm commented Aug 11, 2023

Bumps robocrys to fix site detection related type errors

@munrojm munrojm added the release:patch Patch updates label Aug 11, 2023
@codecov-commenter
Copy link

codecov-commenter commented Aug 11, 2023

Codecov Report

Patch and project coverage have no change.

Comparison is base (2c84558) 90.98% compared to head (f0a8bb3) 90.98%.

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #803   +/-   ##
=======================================
  Coverage   90.98%   90.98%           
=======================================
  Files         136      136           
  Lines       11720    11720           
=======================================
  Hits        10663    10663           
  Misses       1057     1057           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@munrojm munrojm merged commit 7a3548b into main Aug 11, 2023
@munrojm munrojm deleted the bugfix/robocrys_type_errors branch August 11, 2023 19:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release:patch Patch updates
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants