From 689118db0bd5662204620e6037cd8599a1749251 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@indiana.edu>
Date: Sat, 9 May 2020 21:12:04 -0400
Subject: [PATCH] Increase timeout for snapshot build

---
 .github/workflows/site-small.rkt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/site-small.rkt b/.github/workflows/site-small.rkt
index 6227f86702..22a84c40c5 100644
--- a/.github/workflows/site-small.rkt
+++ b/.github/workflows/site-small.rkt
@@ -46,6 +46,8 @@
   (machine #:dir "cs-build"
            #:repo source-dir
            #:pull? #f
+           #:j 2
+           #:timeout (* 60 60 (if (null? pkgs) 1/2 2)) ;; 2 hours for the full build
            #:variant 'cs
            #:dist-suffix (if (null? pkgs) "min-cs" "cs")
            #:versionless? #t
@@ -56,6 +58,7 @@
 (define (bc-machine #:name name #:pkgs [pkgs distro-content])
   (machine #:versionless? #t
            #:pkgs pkgs
+           #:j 2
            #:dist-suffix (if (null? pkgs) "min" "")
            #:log-file (convert-log-name name)
            #:name name))