[monitoring-plugins] Merge pull request #1892 from waja/CI_fix_build

[GitHub]

    Module: monitoring-plugins
    Branch: master
    Commit: 2275da632c2595cf3ec89d0fadbfacecaf89515d
    Author: Lorenz Kästle <12514511+rincewinds...@users.noreply.github.com>
 Committer: GitHub <nore...@github.com>
      Date: Wed Jun 28 15:54:24 2023 +0200
       URL: 
https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=2275da6

Merge pull request #1892 from waja/CI_fix_build

Fix CI workflow syntax

---