New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add Cachix substituter fed by CI #183

Merged

Niols merged 1 commit into main from cachix-substituter

Sep 17, 2023

Member

Niols commented Sep 17, 2023 •

edited

Loading

The failures do not have to do with our CI but only with odoc. One can hope that it gets fixed with time.


          Add Cachix substituter fed by CI

d155b76

Niols self-assigned this

Niols merged commit ea4dd16 into main

14 of 25 checks passed

Niols deleted the cachix-substituter branch

September 17, 2023 15:14

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet