Stream: coq-community devs & users

Topic: Cachix builds with Travis not working (again)

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

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.

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: Apr 20 2024 at 06:02 UTC