summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorDan Allen <dan.j.allen@gmail.com>2020-11-12 02:54:12 -0700
committerDan Allen <dan.j.allen@gmail.com>2020-11-12 02:54:12 -0700
commit729cf4dbfe586575b5c07b23727906ddd3a54d19 (patch)
treee53a304dd4a3f81da10618b59722558936aef61b /.github
parentb176f99f76c9387bb6ecdba2f009e16cf24cdcbc (diff)
give calls to pygments.rb more time to execute in CI
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/ci.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index fe294849..2b78aab2 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -58,6 +58,7 @@ jobs:
runs-on: ${{ matrix.os }}
env:
JRUBY_OPTS: '-J-XX:+TieredCompilation -J-XX:TieredStopAtLevel=1 -J-Xss2m -Xcompile.invokedynamic=false'
+ MENTOS_TIMEOUT: 30 # give pygments.rb calls more time to execute (in seconds)
PYGMENTS_VERSION: '~> 1.2.0' # test runner will automatically disable Pygments tests on JRuby for Windows
RGHOST_VERSION: '0.9.7'
steps: