ci: run a pedantic build as part of the GitHub workflow
[git/debian.git] / .github / 
treea2d29c88d9059b32fd19cbaa8f02916eceee5427
drwxr-xr-x   ..
-rw-r--r-- 1093 CONTRIBUTING.md
-rw-r--r-- 448 PULL_REQUEST_TEMPLATE.md
drwxr-xr-x - workflows