Back to pull request #781

Address #775: Really make `char` in python a `str` #126

Sign in to view logs

Triggered via pull request January 17, 2024 06:47

arjo129

synchronize #781

arjo/fix/char_def

Status Success

Total duration 18s

Artifacts –

check-copied-type-description-sources.yaml

on: pull_request

test_copied_sources_changed_with_fingerprint