Marten Deinum
|
05087745e4
|
Update Github Actions to JDK17
Use JDK17 with a proper distribution.
|
2024-08-07 21:05:29 +02:00 |
|
Marten Deinum
|
f7e1974762
|
Update Github Actions to JDK17
Use JDK17 in github actions.
|
2024-08-07 21:02:10 +02:00 |
|
Mahmoud Ben Hassine
|
95f56c8d0d
|
Replace master with main
Issue #67
|
2021-04-27 16:20:15 +02:00 |
|
Mahmoud Ben Hassine
|
278118380c
|
Update CI workflow names
|
2021-03-03 11:02:23 +01:00 |
|
Mahmoud Ben Hassine
|
429fb283d6
|
Add github actions workflows
|
2021-03-03 10:44:03 +01:00 |
|