Ensure proper cleanup during CI stage#2903

serban-nicusor-toptal merged 1 commit intodevelopstan-dev/math:developfrom

ci/verify-changes-cleanupstan-dev/math:ci/verify-changes-cleanupCopy head branch name to clipboard