Fixed Github action and its badge

Hotmoka · Dec 5, 2023 · 637f52b · 637f52b
1 parent 8071e1a
commit 637f52b
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git 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
@@ -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
@@ -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)