Skip to content

fix: harden and standardize edit_grammars script #1254

fix: harden and standardize edit_grammars script

fix: harden and standardize edit_grammars script #1254

Triggered via pull request July 10, 2024 08:50
@morgantemorgante
synchronize #412
build-yaml
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