docs: add GRASS docker section to infrastructure.md #7290
Triggered via pull request
November 30, 2023 10:32
Status
Success
Total duration
1h 27m 2s
Artifacts
–