Skip to content
deploy site

strengthen encouragement to use real names on Zulip (#588) #3039

Sign in to view logs

strengthen encouragement to use real names on Zulip (#588)

strengthen encouragement to use real names on Zulip (#588) #3039

Triggered via push January 29, 2025 22:07
@kim-emkim-em
pushed 2064756
lean4
Status Success
Total duration 6m 54s
Artifacts –

build.yml

on: push
Build HTML
6m 45s
Build HTML
Fit to window
Zoom out
Zoom in