Skip to content

Reload resources in the editor when the resource changes (#5631) #6581

Reload resources in the editor when the resource changes (#5631)

Reload resources in the editor when the resource changes (#5631) #6581

Triggered via push October 12, 2023 14:01
Status Success
Total duration 5m 50s
Artifacts
extract-translations
5m 40s
extract-translations
Fit to window
Zoom out
Zoom in