Skip to content
This repository was archived by the owner on Apr 20, 2026. It is now read-only.

Rename symbols (#5) #13

Rename symbols (#5)

Rename symbols (#5) #13

Triggered via push May 28, 2025 02:05
Status Success
Total duration 1m 44s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
buildPotFileAndCheckTranslatorsComments
1m 35s
buildPotFileAndCheckTranslatorsComments
Fit to window
Zoom out
Zoom in