python build

Remove unused `SimplePrompt` and `DefaultPrompt` functions (#3819) #2059

Sign in to view logs

Triggered via push October 24, 2025 13:30

github-merge-queue[bot]

main

Status Success

Total duration 32s

Artifacts –

python_push.yml

on: push

Matrix: tests