Merge pull request #2 from qed-solver/test

Various experimental features.
qed-solver · Nov 20, 2023 · 50d1e16 · 50d1e16
2 parents 68570ca + c4c31df
commit 50d1e16
Show file tree

Hide file tree

Showing 878 changed files with 77,609 additions and 149,677 deletions.
diff --git a/.envrc b/.envrc
@@ -0,0 +1 @@
+use flake
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -14,7 +14,7 @@ jobs:
     runs-on: ${{ matrix.os }}
     steps:
     - uses: actions/checkout@v3
-    - uses: cachix/install-nix-action@v18
+    - uses: cachix/install-nix-action@v22
       with:
         nix_path: nixpkgs=channel:nixos-unstable
     - uses: cachix/cachix-action@v12