5 commits

Author	SHA1	Message	Date
Jorge Martin Espinosa	b14c741422	CI improvements (#1012)	2023-07-31 21:05:28 +02:00
Jorge Martin Espinosa	ca3e284991	Try to skip extra checks in the CI for up to date PRs in merge queue. (#1010) ... * Try to skip extra checks in the CI for up to date PRs in merge queue. * Try to simplify check * Remove expression syntax from `if`s	2023-07-31 15:19:51 +00:00
Jorge Martin Espinosa	9e85c74c9c	Try to fix using the merge queue (#1009)	2023-07-31 13:35:38 +00:00
Marco Romano	6a39b8d242	Use github action that caches LFS files when checking out the repo (#647) ... Uses https://github.com/nschloe/action-cached-lfs-checkout where we're using git-lfs. This is a wrapper around `actions/checkout@v3` which uses `actions/cache@v3` to cache the files on LFS to avoid downloading them every time and spare LFS bandwidth.	2023-06-21 09:12:47 +00:00
Benoit Marty	9a8ca7ad7d	Setup git lfs	2023-01-18 15:20:32 +01:00