Start removing `snippet_opt` in favor of `get_source_text` #647

Triggered via pull request August 9, 2024 13:51

Jarcho

synchronize #13244

Jarcho:get_src_display

Status Success

Total duration 10m 9s

Artifacts 3

lintcheck.yml

on: pull_request

Produced during runtime