CI Upstream

Opt out of auto creating index variables #13159

Sign in to view logs

Triggered via pull request February 6, 2024 12:32

benbovy

synchronize #8711

TomNicholas:opt-out-auto-create-index-variables

Status Success

Total duration 14s

Artifacts –

upstream-dev-ci.yaml

on: pull_request

detect upstream-dev ci trigger

Matrix: mypy-upstream-dev

Matrix: upstream-dev