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

Convert nix to flake (part 3) #275

Merged
merged 6 commits into from
Jun 6, 2022
Merged

Convert nix to flake (part 3) #275

merged 6 commits into from
Jun 6, 2022

Commits on May 31, 2022

  1. encoding clerk and ninja_utils inside nix

    lIlIlIlIIIIlIIIllIIlIllIIllIII authored and lIlIlIlIIIIlIIIllIIlIllIIllIII committed May 31, 2022
    Configuration menu
    Copy the full SHA
    bf3b24a View commit details
    Browse the repository at this point in the history

  2. calling using self to get the current packages.

    lIlIlIlIIIIlIIIllIIlIllIIllIII authored and lIlIlIlIIIIlIIIllIIlIllIIllIII committed May 31, 2022
    Configuration menu
    Copy the full SHA
    13b94eb View commit details
    Browse the repository at this point in the history

  3. adding clerk as a dependency to catala

    @adelaett
    adelaett committed May 31, 2022
    Configuration menu
    Copy the full SHA
    8433a2b View commit details
    Browse the repository at this point in the history

Commits on Jun 1, 2022

  1. update lock files

    Catala nix updated committed Jun 1, 2022
    Configuration menu
    Copy the full SHA
    6d5c666 View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2022

  1. changed sedlex

    @adelaett
    adelaett committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    9db9db5 View commit details
    Browse the repository at this point in the history

  2. check it builds before commiting the modified flake

    @adelaett
    adelaett committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    3db9206 View commit details
    Browse the repository at this point in the history