Skip to content

fix: harden and standardize edit_grammars script #1256

fix: harden and standardize edit_grammars script

fix: harden and standardize edit_grammars script #1256

Triggered via pull request July 10, 2024 09:05
@morgantemorgante
synchronize #412
build-yaml
Status Success
Total duration 23s
Artifacts

pr-lint.yaml

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