This repository was archived by the owner on Feb 27, 2026. It is now read-only.

Push

[Term Entry] Python Strings: .removeprefix() #40795

Sign in to view logs

Triggered via pull request August 28, 2025 10:17

synchronize #7444

StuartMosquera:python-strings-removeprefix

Status Success

Total duration 1m 2s

Artifacts –

push.yml

on: pull_request

Matrix: ci