v0.0.2 #4

Merged
timi merged 1 commits from dev into master 2026-01-19 09:03:06 +00:00
Showing only changes of commit 452d525d83 - Show all commits

View File

@@ -12,6 +12,10 @@ jobs:
runs-on: act_runner_java runs-on: act_runner_java
if: ${{ github.event.pull_request.merged == true }} if: ${{ github.event.pull_request.merged == true }}
steps: steps:
- name: Checkout code
run: |
git clone ${{ github.server_url }}/${{ github.repository }}.git .
git checkout ${{ github.sha }}
- name: Set up environment - name: Set up environment
run: | run: |
echo "PR #${{ github.event.number }} merged into master" echo "PR #${{ github.event.number }} merged into master"