Skip to content

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

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

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

Triggered via pull request September 21, 2023 09:08
Status Success
Total duration 48s
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
4s
shellcheck
Matrix: pycodestyle
Matrix: pylint
Matrix: pytest
Fit to window
Zoom out
Zoom in