Skip to content

Commit

Permalink
Add gym to doctest pipeline. TODO: remove before merge!!!
Browse files Browse the repository at this point in the history
  • Loading branch information
ernestum committed Sep 12, 2023
1 parent 4c169f0 commit c81d049
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion .circleci/config.yml
Original file line number Diff line number Diff line change
Expand Up @@ -291,7 +291,8 @@ jobs:
# Note: we don't want to execute the example notebooks in this step since
# this happens in a separate readthedocs job anyway.
NB_EXECUTION_MODE: "off"
command: pushd docs/ && make clean && make doctest && popd
command: pip install gym==0.21.0 &&
pushd docs/ && make clean && make doctest && popd

type:
executor: static-analysis-medium
Expand Down

0 comments on commit c81d049

Please sign in to comment.