ci: include os/arch in per-commit tar filenames#261

Ivan-Velickovic merged 1 commit intomainseL4/microkit:mainfrom

ci_fixseL4/microkit:ci_fixCopy head branch name to clipboard