Marcin Grzejszczak 2d11471dbb Merge branch '3.1.x' into 4.0.x

2023-06-29 11:16:33 +02:00

..

project

Merge branch '3.1.x' into 4.0.x

2023-06-29 11:16:33 +02: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

Messaging polyglot support (#1472)

2020-08-21 18:05:32 +02:00

Dockerfile

Made JDK17 default for Verifier Docker image

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

get_dependencies.sh

Left 1 type of messaging contract - code triggers an output

2022-11-15 16:10:44 +01:00

pom.xml

Bumping versions

2023-05-26 17:12:35 +00:00

sdkman.config

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

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