Skip to content

Dense startup time profiling #5072

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

Open
AntoineRichard wants to merge 12 commits into
base: develop
Choose a base branch
from
+632 −4

Catch BaseException when disabling profiler on gym.make() failure

8abd1d1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Dense startup time profiling #5072

Catch BaseException when disabling profiler on gym.make() failure
8abd1d1
Select commit
Loading
Failed to load commit list.
labeler
succeeded Mar 20, 2026 in 6s