Test CUDA 13.0 on Linux CI.

The CUDA 13.0 Dockerfiles were added in #328.

Author: nnethercote

.github/workflows/ci_linux.yml

@@ -34,9 +34,18 @@ jobs:
           - name: Ubuntu-24.04 / CUDA-12.8.1 / ARM64
             image: "ghcr.io/rust-gpu/rust-cuda-ubuntu24-cuda12:latest"
             runner: ubuntu-24.04-arm
+          - name: Ubuntu-24.04 / CUDA-13.0.2 / x86_64
+            image: "ghcr.io/rust-gpu/rust-cuda-ubuntu24-cuda13:latest"
+            runner: ubuntu-latest
+          - name: Ubuntu-24.04 / CUDA-13.0.2 / ARM64
+            image: "ghcr.io/rust-gpu/rust-cuda-ubuntu24-cuda13:latest"
+            runner: ubuntu-24.04-arm
           - name: RockyLinux-9 / CUDA-12.8.1 / x86_64
             image: "ghcr.io/rust-gpu/rust-cuda-rockylinux9-cuda12:latest"
             runner: ubuntu-latest
+          - name: RockyLinux-9 / CUDA-13.0.2 / x86_64
+            image: "ghcr.io/rust-gpu/rust-cuda-rockylinux9-cuda13:latest"
+            runner: ubuntu-latest
     outputs:
       # Output the result of the permission check
       actor_has_write_permission: ${{ steps.check_access.outputs.require-result }}