Etienne Dechamps 8fcf257726 Fix check workflow failing on pull requests ...

This fixes the following check GitHub Actions workflow failure that
would otherwise occur on pull requests (but not on pushes/branches):

  Error installing Git Library: Library install failed: object not found

2024-02-29 23:52:36 +00:00

..

workflows

Fix check workflow failing on pull requests

2024-02-29 23:52:36 +00:00