Skip to content
PR CI

fix(Python): Handle docformatter exit codes #1404

Sign in to view logs

fix(Python): Handle docformatter exit codes

fix(Python): Handle docformatter exit codes #1404

pr-populate-dafny-versions

pr-populate-dafny-versions
succeeded Sep 18, 2024 in 3s