Skip to content

fix: harden and standardize edit_grammars script #1253

fix: harden and standardize edit_grammars script

fix: harden and standardize edit_grammars script #1253

Triggered via pull request July 10, 2024 08:48
@morgantemorgante
synchronize #412
build-yaml
Status Success
Total duration 21s
Artifacts

pr-lint.yaml

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