diff --git a/.github/workflows/nix.yml b/.github/workflows/nix.yml index 3dd3b0c..4fc4fc4 100644 --- a/.github/workflows/nix.yml +++ b/.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 diff --git a/README.md b/README.md index fb5d6ba..69388d1 100644 --- a/README.md +++ b/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..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.