Build:
  1. 0
2026-06-24 10:41.18: New job: build conf-cuda-config.1 (3530ec9fc2e1)
2026-06-24 10:41.18: Waiting for resource in pool day11-builds
2026-06-24 10:50.10: Got resource from pool day11-builds
2026-06-24 10:50.10: [profile full] build conf-cuda-config.1
2026-06-24 10:50.10: build conf-cuda-config.1 (3530ec9fc2e1)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
Processing: [default: loading data]
[conf-cuda-config: sh]
+ /usr/bin/sh "-exc" "\n    if [ -z \"$CUDA_PATH\" ]; then\n      if [ -d \"/usr/local/cuda\" ]; then\n        CUDA_PATH=\"/usr/local/cuda\"\n        CUDA_PREINSTALLED=\"true\"\n      elif [ -d \"/opt/cuda\" ]; then\n        CUDA_PATH=\"/opt/cuda\"\n        CUDA_PREINSTALLED=\"true\"\n      elif [ -d \"/usr/cuda\" ]; then\n        CUDA_PATH=\"/usr/cuda\"\n        CUDA_PREINSTALLED=\"true\"\n      elif [ \"arch\" = debian ]; then\n        CUDA_PATH=\"/opt/cuda\"\n        CUDA_PREINSTALLED=\"false\"\n      else\n        CUDA_PATH=\"/usr/local/cuda\"\n        CUDA_PREINSTALLED=\"false\"\n      fi\n    else\n      if [ -d \"$CUDA_PATH\" ]; then\n        CUDA_PREINSTALLED=\"true\"\n      else\n        CUDA_PREINSTALLED=\"false\"\n      fi\n    fi\n    if [ -z \"$WSL_DISTRO_NAME\" ]; then\n      IS_WSL=\"false\"\n    else\n      IS_WSL=\"true\"\n    fi\n    cat <<EOF > conf-cuda-config.config\nopam-version: \"2.0\"\nvariables {\n  cuda_preinstalled: \"$CUDA_PREINSTALLED\"\n  cuda_path: \"$CUDA_PATH\"\n  is_wsl: \"$IS_WSL\"\n  wsl_distro_name: \"$WSL_DISTRO_NAME\"\n}\nEOF\n    " (CWD=/home/opam/.opam/default/.opam-switch/build/conf-cuda-config.1)
- + [ -z  ]
- + [ -d /usr/local/cuda ]
- + [ -d /opt/cuda ]
- + [ -d /usr/cuda ]
- + [ arch = debian ]
- + CUDA_PATH=/usr/local/cuda
- + CUDA_PREINSTALLED=false
- + [ -z  ]
- + IS_WSL=false
- + cat
-> compiled  conf-cuda-config.1
-> installed conf-cuda-config.1

=== STDERR ===

2026-06-24 10:50.19: OK: build conf-cuda-config.1 (runc: 1.1s, disk: 7KB)
2026-06-24 10:50.19: Job succeeded