package pa'i as a flake

.github/workflows/nix.yml

@@ -2,18 +2,25 @@ name: "Nix"
 on:
   pull_request:
   push:
+  workflow_dispatch:
 jobs:
   test:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v1
-    - uses: cachix/install-nix-action@v6
-    - uses: cachix/cachix-action@v3
+    - uses: actions/checkout@v2.3.4
+    - uses: cachix/install-nix-action@v13
+      with:
+          install_url: https://github.com/numtide/nix-unstable-installer/releases/download/nix-2.5pre20211015_130284b/install
+          extra_nix_config: |
+            experimental-features = nix-command flakes
+    - uses: cachix/cachix-action@v10
       with:
         name: xe
     - run: |
-        rm result
-        nix-build docker.nix
-        docker load -i result
+        nix build .#docker --impure
+        # the shell expansion will identify the build, and, because we know
+        # we're guaranteed to only have one file in result/docker due to the
+        # pure flake, will always properly expand to just the one target image.
+        docker load -i result/docker/*
         docker run --rm xena/pahi:latest /bin/testrunner
         docker run --rm -w /wasm xena/pahi:latest /tests/bench.sh

docs/default.nix

@@ -1,4 +1,4 @@
-{ sources ? import ../nix/sources.nix, pkgs ? import sources.nixpkgs { }}:
+{ pkgs }:
 let
   src = builtins.filterSource
     (path: type: type != "directory" || builtins.baseNameOf path != "olin-spec")