Zulip Chat Archive
Stream: CI
Topic: stream name
Johan Commelin (Sep 12 2019 at 19:50):
Should this stream be renamed to something like "continuous integration"?
Johan Commelin (Sep 12 2019 at 19:51):
Who cares? I don't... :stuck_out_tongue_wink:
Bryan Gin-ge Chen (Aug 26 2021 at 17:37):
In case anyone cares, I noticed the stream description still mentioned "Travis", so I removed it.
Last updated: May 02 2025 at 03:31 UTC