Skip to content

Add map-rename command #13

Add map-rename command

Add map-rename command #13

Triggered via pull request November 11, 2023 18:26
Status Success
Total duration 2m 8s
Artifacts

pr.yml

on: pull_request
Fit to window
Zoom out
Zoom in