4 Commits (03247196067c11a39394207782ce0d35eeb7e9f4)

Author SHA1 Message Date
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