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

Reviewed-on: #2
This commit was merged in pull request #2.
This commit is contained in:
2026-07-31 07:22:28 +00:00
+1 -1
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: |