diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/yjit-ubuntu.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/yjit-ubuntu.yml b/.github/workflows/yjit-ubuntu.yml index 62356e8b45..d0e50154d2 100644 --- a/.github/workflows/yjit-ubuntu.yml +++ b/.github/workflows/yjit-ubuntu.yml @@ -56,7 +56,7 @@ jobs: - test_task: "check" configure: "--enable-yjit=dev" - yjit_opts: "--yjit-call-threshold=1" + yjit_opts: "--yjit-call-threshold=1 --yjit-verify-ctx" - test_task: "test-all TESTS=--repeat-count=2" configure: "--enable-yjit=dev" |