From 637f52bcb744a30f36a31c7874378d7d50b53e4d Mon Sep 17 00:00:00 2001
From: Fausto Spoto <fausto.spoto@hotmoka.io>
Date: Tue, 5 Dec 2023 15:14:59 +0100
Subject: [PATCH] Fixed Github action and its badge

---
 .github/workflows/java_build.yml | 4 ++--
 README.md                        | 2 +-
 tutorial/Tutorial.source         | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/java_build.yml b/.github/workflows/java_build.yml
index f744ce536..8615f3dda 100644
--- a/.github/workflows/java_build.yml
+++ b/.github/workflows/java_build.yml
@@ -16,11 +16,11 @@ jobs:
 
     steps:
       - uses: actions/checkout@v3
-      - name: Set up JDK 11.0.13
+      - name: Set up JDK 19
         uses: actions/setup-java@v3
         with:
           distribution: 'zulu'
-          java-version: '11.0.13'
+          java-version: '19'
       - name: Cache Maven packages
         uses: actions/cache@v3
         with:
diff --git a/README.md b/README.md
index 2eb97fb7b..847c237c5 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 <p align="center"><img width="320" src="pics/hotmoka_logo.png" alt="Hotmoka logo"></p>
 
-[![Java-Build Action Status](https://github.com/Hotmoka/hotmoka/workflows/Java-Build/badge.svg)](https://github.com/Hotmoka/hotmoka/actions)
+[![Java-Build Action Status](https://github.com/Hotmoka/hotmoka/actions/workflows/java_build.yml/badge.svg)](https://github.com/Hotmoka/hotmoka/actions)
 [![Hotmoka@Maven Central](https://img.shields.io/maven-central/v/io.hotmoka/io-hotmoka-constants.svg?label=Hotmoka@Maven%20Central)](https://central.sonatype.com/search?smo=true&q=g:io.hotmoka)
 [![Takamaka@Maven Central](https://img.shields.io/maven-central/v/io.hotmoka/io-takamaka-code.svg?label=Takamaka@Maven%20Central)](https://central.sonatype.com/search?smo=true&q=io-takamaka-code)
 [![License](https://img.shields.io/badge/License-Apache%202.0-blue.svg)](http://www.apache.org/licenses/LICENSE-2.0.html)
diff --git a/tutorial/Tutorial.source b/tutorial/Tutorial.source
index 6f5af5462..27dc390be 100644
--- a/tutorial/Tutorial.source
+++ b/tutorial/Tutorial.source
@@ -1,6 +1,6 @@
 [Markdownonly]:<p align="center"><img width="320" src="pics/@type_logo.png" alt="@Type logo"></p>
 
-[Markdownonly]:[![Java-Build Action Status](https://github.com/Hotmoka/hotmoka/workflows/Java-Build/badge.svg)](https://github.com/Hotmoka/hotmoka/actions)
+[Markdownonly]:[![Java-Build Action Status](https://github.com/Hotmoka/hotmoka/actions/workflows/java_build.yml/badge.svg)](https://github.com/Hotmoka/hotmoka/actions)
 [Markdownonly]:[![Hotmoka@Maven Central](https://img.shields.io/maven-central/v/io.hotmoka/io-hotmoka-constants.svg?label=Hotmoka@Maven%20Central)](https://central.sonatype.com/search?smo=true&q=g:io.hotmoka)
 [Markdownonly]:[![Takamaka@Maven Central](https://img.shields.io/maven-central/v/io.hotmoka/io-takamaka-code.svg?label=Takamaka@Maven%20Central)](https://central.sonatype.com/search?smo=true&q=io-takamaka-code)
 [Markdownonly]:[![License](https://img.shields.io/badge/License-Apache%202.0-blue.svg)](http://www.apache.org/licenses/LICENSE-2.0.html)