62138540ae
.github/workflows/maven.yml: update setup actions
2023-12-28 10:37:55 +03:00
c0d0e40321
.github/workflows/maven.yml: use Java 17
2023-12-28 10:36:14 +03:00
f2a637f0a8
.github/workflows/maven.yml: dspace7 branch
2023-12-28 10:35:32 +03:00
8e01595cc1
.github: fix distribution key
2022-10-06 20:47:14 +03:00
8b3aac610d
.github: specify Java distribution
2022-10-06 20:39:31 +03:00
c2d7535d01
.github: update maven GitHub actions workflow
...
- Switch to Ubuntu 22.04 because `ubuntu-latest` is still 20.04
- Update actions to latest versions
- Specify Java 8 instead of 1.8
- Enable Maven caching
2022-10-06 20:36:08 +03:00
e3b95f6a30
Create maven.yml
...
Add GitHub Actions workflow to build.
2020-12-08 11:01:00 +02:00