diff options
| -rw-r--r-- | .github/workflows/macos.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/macos.yml b/.github/workflows/macos.yml index 3c8d639607..ba379293a9 100644 --- a/.github/workflows/macos.yml +++ b/.github/workflows/macos.yml @@ -33,6 +33,9 @@ jobs: - test_task: check os: macos-14 configure_args: '--with-jemalloc' + - test_task: check + os: macos-14 + configure_args: '--with-gmp' - test_task: test-all test_opts: --repeat-count=2 os: macos-14 |