Skip to content

Update the type hinting for core.py #39

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

Merged
pseudo-rnd-thoughts merged 16 commits into from
Nov 12, 2022
Merged

Update the type hinting for core.py #39

Changes from 1 commit
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
046c18c
Initial commit
pseudo-rnd-thoughts Oct 6, 2022
1cd0a4c
Fix the tests through using GenericTestEnv
pseudo-rnd-thoughts Oct 6, 2022
8eaa5bd
Fix the tests through using GenericTestEnv
pseudo-rnd-thoughts Oct 6, 2022
c43e48c
Change the type hint of wrapper.reset to the true env.reset parameters
pseudo-rnd-thoughts Oct 7, 2022
cb964fa
Merge branch 'main' into core-typing
pseudo-rnd-thoughts Oct 10, 2022
8cbf484
Reverted all changes that are not to core.py and test_core.py
pseudo-rnd-thoughts Oct 10, 2022
8559e12
pre-commit
pseudo-rnd-thoughts Oct 10, 2022
51cfe93
Merge branch 'main' into core-typing
pseudo-rnd-thoughts Oct 11, 2022
cb6c92c
Code review by Ariel
pseudo-rnd-thoughts Oct 26, 2022
19224f5
pre-commit
pseudo-rnd-thoughts Oct 26, 2022
53f3f88
Merge branch 'main' into core-typing
pseudo-rnd-thoughts Oct 26, 2022
78cec07
pre-commit
pseudo-rnd-thoughts Oct 26, 2022
5f04cd8
Merge branch 'main' into core-typing
pseudo-rnd-thoughts Oct 26, 2022
ec71d7d
pre-commit
pseudo-rnd-thoughts Oct 26, 2022
c49e12e
Fix pyright with env.spec: Optional[EnvSpec]
pseudo-rnd-thoughts Oct 27, 2022
53b9ac6
pre-commit
pseudo-rnd-thoughts Oct 30, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge branch 'main' into core-typing
  • Loading branch information
@pseudo-rnd-thoughts
pseudo-rnd-thoughts committed Oct 10, 2022
commit cb964fa32663e7760dc1e845a0780e693a2d31d8

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.