chore: fix zulip nightly-testing reporting bot#167

chenson2018 merged 1 commit into

mainleanprover/cslib:mainfrom

fix_zulip_nightly_interactionleanprover/cslib:fix_zulip_nightly_interactionCopy head branch name to clipboard