Skip to content

Add figures for minigrid - #151

Merged
wouterwln merged 1 commit into
mainfrom
minigrid
Aug 20, 2025
Merged

Add figures for minigrid#151
wouterwln merged 1 commit into
mainfrom
minigrid

Conversation

@wouterwln

Copy link
Copy Markdown
Collaborator

To preview my updated notes, the figures should be available on the main branch. Therefore this PR adds the required figures which I can incorporate afterwards

@wouterwln
wouterwln requested a review from bertdv August 20, 2025 11:20
@wouterwln
wouterwln merged commit 5c74cca into main Aug 20, 2025
1 check passed
@wouterwln
wouterwln deleted the minigrid branch August 20, 2025 11:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant