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: Dec 20 2023 at 11:08 UTC