[monitoring-plugins] Merge pull request #1882 from ...

[GitHub]

    Module: monitoring-plugins
    Branch: master
    Commit: 4ed55a1d40ac8693c7d5c9aa3a7301f0a2236135
    Author: Lorenz <12514511+rincewinds...@users.noreply.github.com>
 Committer: GitHub <nore...@github.com>
      Date: Mon May 15 21:03:33 2023 +0200
       URL: 
https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=4ed55a1

Merge pull request #1882 from RincewindsHat/run_tests_on_PRs_again

Run tests on PRs again

---