ci: add check for dist zip file changes (#18446)

This commit is contained in:
Jeremy Apthorp 2019-05-29 09:40:02 -07:00 committed by GitHub
parent 471d457576
commit f5b3d00b47
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
10 changed files with 873 additions and 1 deletions

14
script/generate-zip-manifest.py Executable file
View file

@ -0,0 +1,14 @@
#!/usr/bin/env python
import zipfile
import sys
def main(zip_path, manifest_out):
with open(manifest_out, 'w') as manifest, \
zipfile.ZipFile(zip_path, 'r', allowZip64=True) as z:
for name in sorted(z.namelist()):
manifest.write(name + '\n')
return 0
if __name__ == '__main__':
sys.exit(main(*sys.argv[1:]))