Skip to content

Removing pgr_ prefix & some formatting & cleanup #132

Removing pgr_ prefix & some formatting & cleanup

Removing pgr_ prefix & some formatting & cleanup #132

Triggered via pull request August 6, 2024 20:04
Status Success
Total duration 23s
Artifacts

check-files.yml

on: pull_request
Signature_check
6s
Signature_check
News_check
3s
News_check
License_check
14s
License_check
Shell_check
6s
Shell_check
style-check
9s
style-check
Fit to window
Zoom out
Zoom in