Skip to content
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

Update prefetching github source: fix prefetch nix path + better error on url not found #333

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Update prefetching github source: fix prefetch nix path + better error on url not found #333

wants to merge 2 commits into from

Commits on Sep 26, 2021

  1. Prefetch github dependencies 

    - Add the source name as a parameter to the Update arrow
- Add a test to check that the prefetch worked
    @refnil
    refnil committed Sep 26, 2021
    Configuration menu
    Copy the full SHA
    873b197 View commit details
    Browse the repository at this point in the history

  2. Better error message when nix-prefetch-url return an error 404 

    close nmattia#129
close nmattia#309
close nmattia#330
    @refnil
    refnil committed Sep 26, 2021
    Configuration menu
    Copy the full SHA
    7556d77 View commit details
    Browse the repository at this point in the history