@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
Sigh! Not sure I understand why though. There is no obvious error or warning like the last time.
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