Skip to content

[devel] add a pathelement to be searched for in pilot.json #491

[devel] add a pathelement to be searched for in pilot.json

[devel] add a pathelement to be searched for in pilot.json #491

Triggered via pull request September 21, 2023 11:19
Status Success
Total duration 34s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

basic.yml

on: pull_request
shellcheck
7s
shellcheck
Matrix: pycodestyle
Matrix: pylint
Matrix: pytest
Fit to window
Zoom out
Zoom in