Jorge Martín
|
ccacb118a1
|
Revert merge queue CI optimizations
|
2023-08-17 17:17:03 +02:00 |
|
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 |
|
Benoit Marty
|
c284c2a715
|
Add GitHub actions to update and validate the Gradle Wrapper.
|
2023-01-18 09:37:07 +01:00 |
|