bpo-42212: check if generated files are up-to-date in github actions#23042
Merged
Merged
bpo-42212: check if generated files are up-to-date in github actions#23042
Commits
Commits on Nov 19, 2020
bpo-42212: check if generated files are up-to-date in github actions
Show description for f68eb5bcommitted