CI/archive: remove as it is disabled and probably old#1154

dannywillems merged 1 commit intodevelopo1-labs/mina-rust:developfrom

dw/remove-archive-cio1-labs/mina-rust:dw/remove-archive-ciCopy head branch name to clipboard