Merge pull request #129 from mattpolzin/cachix

Add cachix

.github/workflows/nix.yml

@@ -9,7 +9,6 @@ on:
  schedule:
  - cron: '0 1 * * *'
 
-
 jobs:
  nix-build-unstable:
  runs-on: ubuntu-latest
@@ -21,6 +20,11 @@ jobs:
  nix_path: nixpkgs=channel:nixos-unstable
  - name: Checkout
  uses: actions/checkout@v3
+ - uses: cachix/cachix-action@v14
+ with:
+ name: gh-harmony
+ # If you chose API tokens for write access OR if you have a private cache
+ authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
  - name: Build
  run: nix build
 

README.md

@@ -46,6 +46,11 @@ You can add Harmony to your Flake inputs as follows:
 
 Then, in your outputs, bring Harmony into a package install list as `harmony.packages.<system>.harmony`.
 
+Harmony builds are cached in Cachix so you can take advantage of those builds by
+adding `gh-harmony.cachix.org` to the list of `substituters` and
+`gh-harmony.cachix.org-1:KX5tTtEt3Y6an8pywe3Cy6jR9bUo+1Cl7hJmh+5eI4I=` to the
+list of `trusted-public-keys`.
+
 ### From Source
 The build script assumes a HEAD build of Idris 2 is installed on your system. For an alternative, see the [Docker Build](#docker-build) instructions below.