Olga MaciaszekSharma a1adffc54c Revert "Bumping versions" ...

This reverts commit 80bb76f90e.

2024-03-22 15:31:24 +01:00

..

project

Revert "Bumping versions"

2024-03-22 15:31:24 +01:00

sdkman

fixes #1639: run with unprivileged user and bump java version to 8.0.292.hs (#1694)

2021-08-10 11:11:35 +02:00

build_adocs.sh

Done

2023-09-11 19:00:22 +02:00

Dockerfile

Made JDK17 default for Verifier Docker image

2022-06-07 10:23:34 +02:00

get_dependencies.sh

Fixed the Gradle setup

2023-09-06 14:30:56 +02:00

pom.xml

Revert "Bumping versions"

2024-03-22 15:31:24 +01:00

sdkman.config

Migrated to Ubuntu:18.10 and Java installation via SDKMan. Fixes gh-754

2018-10-19 16:14:12 +02:00