Skip to content

Use removeprefix rather than replace to avoid separator deletion #2617

Use removeprefix rather than replace to avoid separator deletion

Use removeprefix rather than replace to avoid separator deletion #2617

Triggered via pull request January 31, 2025 17:23
Status Success
Total duration 2m 7s
Artifacts

hypothesis.yaml

on: pull_request
Matrix: Slow Hypothesis Tests
Fit to window
Zoom out
Zoom in