Commit graph

7 commits

Author SHA1 Message Date
Benoit Marty
995d4e9f6d Just try using actions/checkout@v4 2023-09-11 14:51:12 +02:00
renovate[bot]
ff3fd793ff
Update actions/checkout action to v4 2023-09-04 12:50:03 +00:00
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