Fix compilation in CI jobs (#2048)

This commit is contained in:
Ivan Nardi 2023-07-15 14:26:51 +02:00 committed by GitHub
parent 890f17788b
commit 2bbde5bad3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
6 changed files with 107 additions and 52 deletions