Skip to content

New parameter tags_to_mark#129

Merged
gasse merged 2 commits intomainfrom
gasse/patch_37
Sep 10, 2024
Merged

New parameter tags_to_mark#129
gasse merged 2 commits intomainfrom
gasse/patch_37

Conversation

@gasse
Copy link
Copy Markdown
Contributor

@gasse gasse commented Sep 10, 2024

tags_to_mark: Literal["all", "standard_html"] = "standard_html"

@gasse gasse changed the title New parameter tags_to_mark: Literal["all", "standard_html"] = "standard_html" New parameter tags_to_mark Sep 10, 2024
@gasse gasse merged commit 25e8ac0 into main Sep 10, 2024
@gasse gasse deleted the gasse/patch_37 branch September 10, 2024 18:55
layahaasini pushed a commit to layahaasini/BrowserGym that referenced this pull request Nov 21, 2025
* mark only standard html tags by default, all tags if asked

* ci tests
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant