Skip to content

fix: harden and standardize edit_grammars script #1258

fix: harden and standardize edit_grammars script

fix: harden and standardize edit_grammars script #1258

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

pr-lint.yaml

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