Update gen-gifs to new render api (#371)

This commit is contained in:
Mark Towers
2023-03-08 20:50:01 +00:00
committed by GitHub
parent 42524b688f
commit 05ff41ac9d
223 changed files with 56 additions and 92 deletions

View File

@@ -23,23 +23,3 @@ def trim(docstring):
trimmed.pop(0)
# Return a single string:
return "\n".join(trimmed)
# dont want envs which contain these
kill_strs = [
"eterministic",
"ALE",
"-ram",
"Frameskip",
"Hard",
"LanderContinu",
"8x8",
"uessing",
"otter",
"oinflip",
"hain",
"oulette",
"DomainRandom",
"RacingDiscrete",
"GymV21Environment",
]