Skip to content

Removing pgr_ prefix & some formatting & cleanup #130

Removing pgr_ prefix & some formatting & cleanup

Removing pgr_ prefix & some formatting & cleanup #130

Triggered via pull request August 6, 2024 19:41
Status Success
Total duration 28s
Artifacts

check-files.yml

on: pull_request
Signature_check
5s
Signature_check
News_check
5s
News_check
License_check
18s
License_check
Shell_check
7s
Shell_check
style-check
8s
style-check
Fit to window
Zoom out
Zoom in