| commit | 8bb26402c138f535c8aab1a1f1d7a9520b2bd04a | [log] [tgz] |
|---|---|---|
| author | Tamas Cservenak <tamas@cservenak.net> | Fri Apr 19 15:23:45 2024 +0200 |
| committer | GitHub <noreply@github.com> | Fri Apr 19 15:23:45 2024 +0200 |
| tree | 3d929f5aee3aa3f0160757d4bf741ece610c80f5 | |
| parent | d23e0e88f6d292c4343d2885ab7b864390808233 [diff] |
Cumulative update of GH flow (#950) Changes: * Cumulative update of GH flow * Graal update * Add concurrency * Add -V to see what maven is used * Use same Java version for def build * Apply @gzm55 advice