4 commits

Author	SHA1	Message	Date
Jorge Martin Espinosa	89b1bba96e	CI improvements (#1012)	2023-07-31 21:05:28 +02:00
Jorge Martin Espinosa	ffdf005507	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	a1dd524471	Try to fix using the merge queue (#1009)	2023-07-31 13:35:38 +00:00
Benoit Marty	5ffac581f4	Add GitHub actions to update and validate the Gradle Wrapper.	2023-01-18 09:37:07 +01:00