diff --git a/infra/travis.rkt b/infra/travis.rkt
index fbd075a80..856b9d5b7 100644
--- a/infra/travis.rkt
+++ b/infra/travis.rkt
@@ -45,6 +45,8 @@
        #f])))
 
 (module+ main
+  (define seed (random 1 (expt 2 31)))
+  (set-seed! seed)
   (command-line
    #:program "travis.rkt"
    #:once-each