5 Commits (5e5063981519ff1fcf39072d85bd6bb5ded714fd)

Author SHA1 Message Date
Jorge Martín ccacb118a1 Revert merge queue CI optimizations 1 year ago
Jorge Martin Espinosa b14c741422
CI improvements (#1012) 1 year ago
Jorge Martin Espinosa ca3e284991
Try to skip extra checks in the CI for up to date PRs in merge queue. (#1010) 1 year ago
Jorge Martin Espinosa 9e85c74c9c
Try to fix using the merge queue (#1009) 1 year ago
Benoit Marty c284c2a715 Add GitHub actions to update and validate the Gradle Wrapper. 2 years ago