# SWE-bench Modal environment configuration

#

# This config provides Modal cloud environment settings for SWE-bench runs.

# It should be used together with the base swebench config:

#

# Usage:

#   mini-extra swebench -c swebench -c swebench_modal [other options]

#

# The configs are merged, with swebench_modal overriding the environment

# settings to use Modal instead of Docker.

#

# Requirements:

#   1. Run `modal setup` to authenticate with Modal

#   2. Install the modal extra: `pip install mini-swe-agent[modal]`

# Modal environment configuration via SWE-ReX

# The image will be dynamically set per-instance to match SWE-bench docker images

environment:

  environment_class: swerex_modal

  cwd: "/testbed"

  timeout: 60

  interpreter: ["bash", "-c"]

  env:

    PAGER: cat

    MANPAGER: cat

    LESS: -R

    PIP_PROGRESS_BAR: 'off'

    TQDM_DISABLE: '1'

  # Modal-specific settings

  startup_timeout: 600.0  # 10 min to allow image building on first run

  runtime_timeout: 1800.0  # 30 minutes max per instance

  deployment_timeout: 1800.0

  install_pipx: true

  # Environment variables for the sandbox

  modal_sandbox_kwargs: {}

    # You can add Modal-specific options here, e.g.:

    # cpu: 2.0

    # memory: 4096

# GPT-5 mini via Portkey

model:

  model_name: "gpt-5-mini"

  model_class: portkey

  provider: "@openai"

  model_kwargs:

    drop_params: true

    # GPT-5 mini only supports temperature=1.0

    # temperature: 0.0