Merge pull request 'v0.0.3' (#2) from dev into master

Reviewed-on: #2
This commit was merged in pull request #2.
This commit is contained in:
2026-05-10 08:49:08 +00:00

View File

@@ -12,7 +12,7 @@ jobs:
runs-on: act_runner_java
if: ${{ github.event.pull_request.merged == true }}
env:
JAVA_HOME: /usr/lib/jvm/java-21-openjdk
JAVA_HOME: /usr/lib/jvm/java-25-openjdk
steps:
- name: Checkout code
run: |