Merge pull request #24280 from mrc0mmand/fix-semaphore
authorLuca Boccassi <bluca@debian.org>
Thu, 11 Aug 2022 20:29:54 +0000 (21:29 +0100)
committerGitHub <noreply@github.com>
Thu, 11 Aug 2022 20:29:54 +0000 (21:29 +0100)
commitd9c6956ee4c10b76b4ed4ae32550e15a300172f3
treee5b017449a110dcbd926172adaeae8e6be086479
parentc8340822cfe269121e638c1e44d2ba5b8fe70b03
parent3b9ac80085ce4acc5bd932d4961d52531a7fc1a4
Merge pull request #24280 from mrc0mmand/fix-semaphore

A couple of Semaphore CI fixes for recent fails