Skip to content

Rename between users #2447

Rename between users

Rename between users #2447

Triggered via pull request December 12, 2023 11:48
Status Success
Total duration 26m 42s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

main.yml

on: pull_request
Fit to window
Zoom out
Zoom in