Select a .zip file containing proofs and kompiled directory.
.zip
proofs
kompiled
Note: This will not upload any files to the server.