diff options
author | RincewindsHat <12514511+RincewindsHat@users.noreply.github.com> | 2023-05-15 20:15:06 +0200 |
---|---|---|
committer | RincewindsHat <12514511+RincewindsHat@users.noreply.github.com> | 2023-05-15 20:15:06 +0200 |
commit | bc47263115a3d6c01ec3ad8ec95951581551a9f5 (patch) | |
tree | fbfddd36492c89d137b458ed186e35c2d73c71e3 /lib/tests/config-opts.ini | |
parent | a359667f2b65c06aa60915f03bf89708132b1f8b (diff) | |
download | monitoring-plugins-bc47263.tar.gz |
Run tests on PRs again
Diffstat (limited to 'lib/tests/config-opts.ini')
0 files changed, 0 insertions, 0 deletions