rename git repository

2026-05-07 00:46:20 +03:00
parent 0852d2786c
commit 2050710ff0
1 changed files with 36 additions and 0 deletions
@@ -0,0 +1,36 @@
+name: 'Publish Documents'
+on:
+  workflow_dispatch:
+    inputs:
+      branch:
+        description: 'Ветка'
+        required: true
+        type: string
+        default: master
+jobs:
+  deploy-dev:
+    name: 'Deploy to dev'
+    runs-on: ubuntu-latest
+    steps:
+      - name: 'Print Info'
+        run: |
+          echo "Branch: ${{ github.event.inputs.branch }}"
+      - name: Cloning
+        uses: https://git.binom.pw/otp/devops/clone@main
+        with:
+          ssh-private-key: ${{ secrets.SSH_PRIVATE_KEY }}
+          repository: 'devspc/docs'
+          branch: ${{ github.event.inputs.branch }}
+      - uses: https://git.binom.pw/otp/devops/config-gradle@main
+      - uses: https://git.binom.pw/otp/devops/setup-gradle@main
+      - name: Setup Jvm
+        uses: actions/setup-java@v4
+        with:
+          java-version: 21
+          distribution: "adopt"
+      - name: Downloading generator
+        run: |
+          curl http://nexus.xx/repository/jars/confluence-publisher.jar > confluence-publisher.jar
+      - name: Publishing
+        run: |
+          java -jar confluence-publisher.jar --confluence-url http://192.168.76.136 --token '${{ secrets.CONFLUENCE_TOKEN }}' -f **/*.md