Skip to content

Ensure we use options.ini configuration for port selection. #128

Ensure we use options.ini configuration for port selection.

Ensure we use options.ini configuration for port selection. #128

Triggered via pull request May 1, 2024 00:09
Status Success
Total duration 1m 0s
Artifacts

pre-commit.yml

on: pull_request
Path match check
4s
Path match check
All file linting
39s
All file linting
Fit to window
Zoom out
Zoom in