Merge remote-tracking branch 'origin/master' into flakes

2020-07-06 16:40:10 +02:00
parent 6ff9aa8df7 14227aeb32
commit 54712aaf8a
57 changed files with 746 additions and 356 deletions
@@ -12,6 +12,6 @@ jobs:
    - uses: actions/checkout@v2
      with:
        fetch-depth: 0
-    - uses: cachix/install-nix-action@v8
+    - uses: cachix/install-nix-action@v10
    #- run: nix flake check
    - run: nix-build -A checks.$(if [[ `uname` = Linux ]]; then echo x86_64-linux; else echo x86_64-darwin; fi)