Skip to content

Merge pull request #3122 from pgRouting/dependabot/github_actions/mai… #3875

Merge pull request #3122 from pgRouting/dependabot/github_actions/mai…

Merge pull request #3122 from pgRouting/dependabot/github_actions/mai… #3875

Triggered via push July 24, 2026 02:48
Status Success
Total duration 36s
Artifacts

check-files.yml

on: push
Signature_check
6s
Signature_check
News_check
5s
News_check
License_check
33s
License_check
Shell_check
8s
Shell_check
style-check
16s
style-check
Fit to window
Zoom out
Zoom in