Stop CUDA 12 tests from running in CI

The driver on Piz Daint is too old to run binaries built with CUDA 12.

.jenkins/cscs/batch.sh

@@ -25,6 +25,7 @@ spack build-env ${spack_spec} -- ctest \
     --verbose \
     -S ${src_dir}/.jenkins/cscs/ctest.cmake \
     -DCTEST_BUILD_EXTRA_OPTIONS="${build_extra_options:-}" \
+    -DCTEST_TEST_EXTRA_OPTIONS="${test_extra_options:-}" \
     -DCTEST_CONFIGURE_EXTRA_OPTIONS="${configure_extra_options} -DCMAKE_INSTALL_PREFIX=${install_dir}" \
     -DCTEST_BUILD_CONFIGURATION_NAME="${configuration_name_with_build_type}" \
     -DCTEST_SOURCE_DIRECTORY="${src_dir}" \

.jenkins/cscs/ctest.cmake

@@ -80,7 +80,7 @@ ctest_submit(PARTS Configure)
 ctest_build(TARGET install FLAGS "-k0 ${CTEST_BUILD_EXTRA_OPTIONS}")
 ctest_build(TARGET tests FLAGS "-k0 ${CTEST_BUILD_EXTRA_OPTIONS}")
 ctest_submit(PARTS Build)
-ctest_test(${test_args})
+ctest_test(${test_args} ${CTEST_TEST_EXTRA_OPTIONS})
 ctest_submit(PARTS Test BUILD_ID CTEST_BUILD_ID)
 file(WRITE "jenkins-pika-${CTEST_BUILD_CONFIGURATION_NAME}-cdash-build-id.txt"
      "${CTEST_BUILD_ID}"

.jenkins/cscs/env-gcc-12.sh

@@ -18,3 +18,7 @@ configure_extra_options+=" -DPIKA_WITH_MALLOC=system"
 configure_extra_options+=" -DPIKA_WITH_SPINLOCK_DEADLOCK_DETECTION=ON"
 
 build_extra_options+=" -j10"
+
+# All async_cuda tests are disabled from running because the driver on Piz Daint
+# is too old for CUDA 12.
+test_extra_options+=" EXCLUDE async_cuda"