Release pipeline

.gitea/workflows/release.yml

@@ -0,0 +1,37 @@
+name: Build a dev image
+
+on:
+  release:
+    types: [published]
+  workflow_dispatch:
+    inputs:
+      version:
+        description: 'Version to release'
+        required: true
+        default: 'latest'
+        type: string
+
+jobs:
+  build:
+    runs-on: [dev, amd64]
+    env:
+      IMAGE: harbor.rosti.cz/rosti-public/mgm
+    steps:
+      - uses: actions/checkout@v4
+
+      # Figure out the tag
+      - name: Get git tag
+        id: get_tag
+        if: github.event_name == 'release'
+        run: echo "TAG_NAME=${GITHUB_REF#refs/tags/}" >> $GITHUB_ENV
+      - name: Set version from input
+        if: github.event_name == 'workflow_dispatch'
+        run: echo "TAG_NAME=${{ github.event.inputs.version }}" >> $GITHUB_ENV
+
+      - name: docker login
+        run: |
+          docker login harbor.rosti.cz -u "${{ secrets.HARBOR_REPO_USERNAME }}" -p "${{ secrets.HARBOR_REPO_PASSWORD }}"
+      - name: Build
+        run: task build REPO=$IMAGE VERSION=${{ env.TAG_NAME }}
+      - name: Push
+        run: task push REPO=$IMAGE VERSION=${{ env.TAG_NAME }}