Skip to content

fix: harden and standardize edit_grammars script #1257

fix: harden and standardize edit_grammars script

fix: harden and standardize edit_grammars script #1257

Triggered via pull request July 10, 2024 09:08
Status Success
Total duration 21s
Artifacts

pr-lint.yaml

on: pull_request
validate PR title
1s
validate PR title
Fit to window
Zoom out
Zoom in