Skip to content
This repository has been archived by the owner on Oct 25, 2023. It is now read-only.

Add a nix flake setup #15

Merged
merged 6 commits into from
Sep 30, 2021
Merged

Add a nix flake setup #15

merged 6 commits into from
Sep 30, 2021

Commits on Sep 23, 2021

  1. Add a nix flake setup

    @Anderssorby
    Anderssorby committed Sep 23, 2021
    Configuration menu
    Copy the full SHA
    8df0ae3 View commit details
    Browse the repository at this point in the history

  2. Add master as push for nix CI

    @Anderssorby
    Anderssorby committed Sep 23, 2021
    Configuration menu
    Copy the full SHA
    751a182 View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2021

  1. Fix typo

    @Anderssorby
    Anderssorby committed Sep 24, 2021
    Configuration menu
    Copy the full SHA
    bc1a4de View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2021

  1. Fix nix setup

    @Anderssorby
    Anderssorby committed Sep 25, 2021
    Configuration menu
    Copy the full SHA
    214faee View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2021

  1. Remove lean follows nixpkgs

    @Anderssorby
    Anderssorby committed Sep 26, 2021
    Configuration menu
    Copy the full SHA
    98c7d7d View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2021

  1. Remove flake.lock and nix CI

    @Anderssorby
    Anderssorby committed Sep 27, 2021
    Configuration menu
    Copy the full SHA
    c2d3d7c View commit details
    Browse the repository at this point in the history