[OneExplorer] Add rename shortcut #968

Triggered via pull request June 26, 2023 12:07

dayo09

synchronize #1587

Status Success

Total duration 2m 34s

Artifacts 3

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

check-license.yml

on: pull_request

Matrix: license_verification

Produced during runtime