Skip to content

Remote: still use settings and configuration from the local user dir #2454

Remote: still use settings and configuration from the local user dir

Remote: still use settings and configuration from the local user dir #2454

Triggered via pull request December 3, 2024 14:45
Status Success
Total duration 25s
Artifacts

set-milestone-on-pr.yml

on: pull_request_target
set-milestone
16s
set-milestone
Fit to window
Zoom out
Zoom in