diff options
| -rw-r--r-- | .github/workflows/zjit-macos.yml | 1 | ||||
| -rw-r--r-- | .github/workflows/zjit-ubuntu.yml | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/zjit-macos.yml b/.github/workflows/zjit-macos.yml index 456854510e..42d553b1b1 100644 --- a/.github/workflows/zjit-macos.yml +++ b/.github/workflows/zjit-macos.yml @@ -35,6 +35,7 @@ jobs: - test_task: 'check' configure: '--enable-zjit=dev' run_opts: '--zjit-call-threshold=1' + testopts: '--seed=11831' specopts: '-T --zjit-call-threshold=1' - test_task: 'zjit-check' # zjit-test + quick feedback of test_zjit.rb diff --git a/.github/workflows/zjit-ubuntu.yml b/.github/workflows/zjit-ubuntu.yml index 8dd4d44fc5..e2327f185a 100644 --- a/.github/workflows/zjit-ubuntu.yml +++ b/.github/workflows/zjit-ubuntu.yml @@ -54,6 +54,7 @@ jobs: - test_task: 'check' configure: '--enable-zjit=dev' run_opts: '--zjit-call-threshold=1' + testopts: '--seed=18140' specopts: '-T --zjit-call-threshold=1' - test_task: 'zjit-check' # zjit-test + quick feedback of test_zjit.rb |
