Skip to content
Submitty PR Title Check

[Feature:Developer] switch to Zulip #634

Sign in to view logs

[Feature:Developer] switch to Zulip

[Feature:Developer] switch to Zulip #634

Triggered via pull request November 8, 2023 20:35
@bmcutlerbmcutler
edited #563
switch_to_zulip
Status Success
Total duration 17s
Artifacts –

pr_title_check.yml

on: pull_request
title-check
8s
title-check
Fit to window
Zoom out
Zoom in