Skip to content

Rename isweighted -> is_weighted #10279

Rename isweighted -> is_weighted

Rename isweighted -> is_weighted #10279

Triggered via pull request October 27, 2023 09:10
Status Success
Total duration 22m 33s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

Docu.yml

on: pull_request