wip

2026-08-27 12:54:12 +02:00
parent d5b5da044e
commit 630137a681
1 changed files with 19 additions and 10 deletions
@@ -1,13 +1,23 @@
-name: Build and Push Container
+name: Build

 on:
  push:
+    branches:
+      - proof
+
+permissions:
+  contents: read

 jobs:
  build:
    runs-on: ubuntu-latest
+
    steps:
-      - uses: actions/checkout@v4
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          token: ${{ secrets.GITEA_TOKEN }}
+
      - name: Check token
        env:
          TOKEN: ${{ secrets.GITEA_TOKEN }}
@@ -18,4 +28,3 @@ jobs:
            echo "GITEA_TOKEN is EMPTY"
            exit 1
          fi
-