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

fixed minor cast warning #2487

Merged
merged 1 commit into from
Feb 5, 2021
Merged

fixed minor cast warning #2487

merged 1 commit into from
Feb 5, 2021

Conversation

Cyan4973
Copy link
Contributor

@Cyan4973 Cyan4973 commented Feb 5, 2021

recently failing CI tests

@Cyan4973 Cyan4973 force-pushed the fixcast branch 6 times, most recently from e6c86f6 to ffd02a2 Compare February 5, 2021 17:53
@Cyan4973
Copy link
Contributor Author

Cyan4973 commented Feb 5, 2021

remaining issues are unrelated to this PR

@Cyan4973 Cyan4973 merged commit b5e990d into dev Feb 5, 2021
@Cyan4973 Cyan4973 deleted the fixcast branch May 4, 2021 06:20
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.

3 participants