[monitoring-plugins] Merge pull request #1882 from ...
GitHub
git at monitoring-plugins.org
Mon May 15 21:10:14 CEST 2023
Module: monitoring-plugins
Branch: master
Commit: 4ed55a1d40ac8693c7d5c9aa3a7301f0a2236135
Author: Lorenz <12514511+RincewindsHat at users.noreply.github.com>
Committer: GitHub <noreply at 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
---
More information about the Commits
mailing list