Skip to content

reimplement the pipe end detecvtion algorithm to ask the API directly, and use it to pull out pipe ends in the scanner #791

reimplement the pipe end detecvtion algorithm to ask the API directly, and use it to pull out pipe ends in the scanner

reimplement the pipe end detecvtion algorithm to ask the API directly, and use it to pull out pipe ends in the scanner #791

Triggered via pull request October 21, 2024 07:31
Status Success
Total duration 1m 7s
Artifacts

ci.yaml

on: pull_request
check-format
57s
check-format
Fit to window
Zoom out
Zoom in