Stream: coq-community devs & users

Topic: Cachix builds with Travis not working (again)


view this post on Zulip Karl Palmskog (Aug 29 2020 at 14:31):

@Théo Zimmermann it looks like Cachix builds with Travis are not working again, even with our latest permission fix: https://travis-ci.com/github/coq-community/aac-tactics/builds/181651919

view this post on Zulip Théo Zimmermann (Aug 29 2020 at 14:32):

Sigh! Not sure I understand why though. There is no obvious error or warning like the last time.

view this post on Zulip Karl Palmskog (Aug 29 2020 at 14:34):

also here but no obvious clue there either: https://travis-ci.com/github/coq-community/stalmarck/jobs/379077934


Last updated: Feb 05 2023 at 14:02 UTC