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

Fix/minedojo #286

Merged
merged 7 commits into from
May 13, 2024
Merged

Fix/minedojo #286

merged 7 commits into from
May 13, 2024

Conversation

michele-milesi
Copy link
Member

Summary

Describe the purpose of the pull request, including:

Type of Change

Please select the one relevant option below:

  • Bug fix (non-breaking change that solves an issue)

Checklist

Please confirm that the following tasks have been completed:

  • I have tested my changes locally and they work as expected. (Please describe the tests you performed.)
  • I have added unit tests for my changes, or updated existing tests if necessary.
  • I have updated the documentation, if applicable.
  • I have installed pre-commit and run locally for my code changes.

@belerico belerico merged commit 419c7ce into main May 13, 2024
12 checks passed
@belerico belerico deleted the fix/minedojo branch June 18, 2024 12:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@belerico belerico belerico approved these changes

@DavideTr8 DavideTr8 Awaiting requested review from DavideTr8 DavideTr8 is a code owner

@rcmalli rcmalli Awaiting requested review from rcmalli rcmalli is a code owner

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Updated minedojo example
2 participants
@michele-milesi @belerico