Skip to content

Commit

Permalink
updated github workflow
Browse files Browse the repository at this point in the history
  • Loading branch information
BolunDai0216 committed Jan 15, 2024
1 parent d3232c4 commit 78a9dbc
Showing 1 changed file with 11 additions and 1 deletion.
12 changes: 11 additions & 1 deletion docs/_scripts/gen_envs_display.py
Original file line number Diff line number Diff line change
Expand Up @@ -77,9 +77,19 @@ def generate_page(env, limit=-1, base_path=""):
env_type = key

page = generate_page({"id": key, "list": value})
# fp = open(
# os.path.join(
# os.path.dirname(__file__), "..", "environments", env_type, "list.html"
# ),
# "w",
# encoding="utf-8",
# )
fp = open(
os.path.join(
os.path.dirname(__file__), "..", "environments", env_type, "list.html"
os.path.dirname(__file__),
"..",
"environments/minigrid",
f"{env_type}.md",
),
"w",
encoding="utf-8",
Expand Down

0 comments on commit 78a9dbc

Please sign in to comment.