Skip to content
Lint check

chore(docs): document wedge and edge difference #18

Sign in to view logs

chore(docs): document wedge and edge difference

chore(docs): document wedge and edge difference #18

Triggered via pull request November 21, 2023 09:39
@faycalaafaycalaa
synchronize #214
jeertmans:document-wedge-vs-edge
Status Success
Total duration 1m 6s
Artifacts –

pylint.yml

on: pull_request
Pylint
56s
Pylint
Fit to window
Zoom out
Zoom in