Init workflows

.forgejo/workflows/eval.yaml

@@ -0,0 +1,16 @@
+name: build configuration
+on:
+  push:
+    branches:
+      - main
+
+jobs:
+  build:
+    runs-on: nix
+    steps:
+      - uses: actions/checkout@v3
+
+      - name: Build
+        run: |
+          # Enter the shell
+          nix-build

default.nix

@@ -0,0 +1,5 @@
+let
+  pkgs = import (import ./npins).nixpkgs {};
+in pkgs.runCommandNoCC "dummy-drv" {} ''
+  echo ${pkgs.lib.commitIdFromGitRepo ./.git} > $out
+''

npins/default.nix

@@ -0,0 +1,47 @@
+# Generated by npins. Do not modify; will be overwritten regularly
+let
+  data = builtins.fromJSON (builtins.readFile ./sources.json);
+  version = data.version;
+
+  mkSource = spec:
+    assert spec ? type; let
+      path =
+        if spec.type == "Git" then mkGitSource spec
+        else if spec.type == "GitRelease" then mkGitSource spec
+        else if spec.type == "PyPi" then mkPyPiSource spec
+        else if spec.type == "Channel" then mkChannelSource spec
+        else builtins.throw "Unknown source type ${spec.type}";
+    in
+    spec // { outPath = path; };
+
+  mkGitSource = { repository, revision, url ? null, hash, ... }:
+    assert repository ? type;
+    # At the moment, either it is a plain git repository (which has an url), or it is a GitHub/GitLab repository
+    # In the latter case, there we will always be an url to the tarball
+    if url != null then
+      (builtins.fetchTarball {
+        inherit url;
+        sha256 = hash; # FIXME: check nix version & use SRI hashes
+      })
+    else assert repository.type == "Git"; builtins.fetchGit {
+      url = repository.url;
+      rev = revision;
+      # hash = hash;
+    };
+
+  mkPyPiSource = { url, hash, ... }:
+    builtins.fetchurl {
+      inherit url;
+      sha256 = hash;
+    };
+
+  mkChannelSource = { url, hash, ... }:
+    builtins.fetchTarball {
+      inherit url;
+      sha256 = hash;
+    };
+in
+if version == 3 then
+  builtins.mapAttrs (_: mkSource) data.pins
+else
+  throw "Unsupported format version ${toString version} in sources.json. Try running `npins upgrade`"

npins/sources.json

@@ -0,0 +1,11 @@
+{
+  "pins": {
+    "nixpkgs": {
+      "type": "Channel",
+      "name": "nixpkgs-unstable",
+      "url": "https://releases.nixos.org/nixpkgs/nixpkgs-24.05pre595783.9a9a7552431c/nixexprs.tar.xz",
+      "hash": "1dqmfzns3b29l8qywqzwqpv9vdgiaxv5871idnzmlhw2zwbnxpv6"
+    }
+  },
+  "version": 3
+}