Stream: beginners

Topic: Nightly builds KO?


view this post on Zulip Fábio Beirão (Jun 12 2023 at 20:17):

I think the latest nightly was built 3 days ago. I think we recently discussed moving the nightlies into their own repository, but unless I missed it, that hasn't happened yet. Is something going wrong with the nightlies? :smile: @Anton
Thanks :pray:
image.png

view this post on Zulip Luke Boswell (Jun 12 2023 at 22:45):

I dont anything is wrong. I think they get built/packaged manually rn, and I think @Anton had a few days leave.

view this post on Zulip Fábio Beirão (Jun 13 2023 at 08:04):

Ah, interesting. I don't know why, I thought the nightlies would be an automated process :+1:

view this post on Zulip Anton (Jun 14 2023 at 08:36):

A new nightly will be produced in a few hours, it's not completely automated for security reasons. It can be automated securely but that setup takes some time.


Last updated: Jul 06 2025 at 12:14 UTC