Skip to content

rename wiki pngs

rename wiki pngs #1502

Triggered via pull request July 31, 2023 09:48
Status Success
Total duration 42s
Artifacts

github-actions-python.yml

on: pull_request
Fit to window
Zoom out
Zoom in