Zulip Chat Archive
Stream: general
Topic: Unreproducible CI error
Yaël Dillies (Feb 21 2022 at 16:12):
Can somebody reproduce the build error on #12175 locally? For me, topology.subset_properties builds perfectly.
Floris van Doorn (Feb 21 2022 at 16:15):
Yes, I get the same errors.
Floris van Doorn (Feb 21 2022 at 16:15):
in src/order/compactly_generated
Yaël Dillies (Feb 21 2022 at 16:16):
I don't know what's wrong with my copy...
Floris van Doorn (Feb 21 2022 at 16:17):
were you looking at the wrong file?
Yaël Dillies (Feb 21 2022 at 16:20):
Uh, I must've been reading the wrong CI report :face_palm:
Last updated: Dec 20 2023 at 11:08 UTC