Skip to content

Merge pull request #16 from IgnaceMaes/document-custom-grammar #31

Merge pull request #16 from IgnaceMaes/document-custom-grammar

Merge pull request #16 from IgnaceMaes/document-custom-grammar #31

Triggered via push September 3, 2023 09:57
Status Success
Total duration 3m 48s
Artifacts

ci.yml

on: push
Matrix: try-scenarios
Fit to window
Zoom out
Zoom in