Downloading docs.zip under "Artifacts" at https://github.com/DFHack/scripts/runs/559867231 gives a docs.zip file containing another docs.zip file. We're probably performing an extra unneeded zip step somewhere, since both files have the name we want.
Downloading docs.zip under "Artifacts" at https://github.com/DFHack/scripts/runs/559867231 gives a docs.zip file containing another docs.zip file. We're probably performing an extra unneeded zip step somewhere, since both files have the name we want.