Back to pull request #2953

Rename `isweighted` -> `is_weighted` #1726

Sign in to view logs

Triggered via pull request October 28, 2023 09:47

fingolfin

closed #2953

lgoettgens:lg/is-weighted

Status Success

Total duration 24s

Artifacts –

CleanupDocPreview.yml

on: pull_request

cleanup-doc-preview