CI: raise timeout to 20 minutes

oriansj · Dec 28, 2020 · b65c902 · b65c902
1 parent 15e614c
commit b65c902
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -12,7 +12,7 @@ jobs:
         nix_path: nixpkgs=channel:nixos-unstable
     - name: Build
       run: nix-build -A blynn-compiler
-      timeout-minutes: 15
+      timeout-minutes: 20
     - name: Check hash of raw
       run: echo "f803e4ca8cf281ec971f76a4920767242aa8427850ffbef85f69c4d01f5f3cdd result/share/raw" | sha256sum -c
     - run: cp result/bin/vm vm && cp result/share/raw raw && cp result/bin/precisely precisely