General linting

wxGUI: Use r.mask.status to get info about mask #13208

Sign in to view logs

Triggered via pull request January 29, 2025 14:21

wenzeslaus

synchronize #4519

wenzeslaus:use-r_mask_status-in-gui

Status Success

Total duration 4m 9s

Artifacts –

super-linter.yml

on: pull_request

GitHub Super Linter