fix workflows

.github/workflows/build-dev.yml

@@ -27,7 +27,7 @@ jobs:
     - name: "Load PR info"
       id: loadinfo
       run: |
-        run_builds="true"
+        run_builds="false"
 
         has_docker_image_label="${{ contains(github.event.pull_request.labels.*.name, 'build-docker-image') }}"
         echo "docker image label: $has_docker_image_label"
@@ -48,6 +48,7 @@ jobs:
         if [[ ! -z "$manual_tag" ]]; then
           has_docker_image_label="true"
           branch_name="$manual_tag"
+          run_builds="true"
         fi
 
         if [[ "$branch_name" == "master" ]] || [[ "$branch_name" =~ ^v[0-9] ]]; then
@@ -60,13 +61,9 @@ jobs:
         echo "build_docker=$has_docker_image_label" >> $GITHUB_OUTPUT
         echo "docker_tag=$branch_name" >> $GITHUB_OUTPUT
 
-  check_source:
-    name: "Run code checks"
-    uses: ./.github/workflows/_shared-check.yaml
-
   build_binaries:
     name: "Build Dora"
-    needs: [prinfo, check_source]
+    needs: [prinfo]
     if: ${{ needs.prinfo.outputs.run_builds == 'true' }}
     uses: ./.github/workflows/_shared-build.yaml
     with:

.github/workflows/build-master.yml

@@ -11,6 +11,9 @@ concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
   cancel-in-progress: true
 
+permissions:
+  contents: write
+
 jobs:
 
   check_source:

.github/workflows/build-release.yml

@@ -8,6 +8,9 @@ on:
         description: "Version Number ('0.x.y')"
         required: true
 
+permissions:
+  contents: write
+
 jobs:
   build_binaries:
     name: "Build Dora"

.github/workflows/test-pr.yml

@@ -0,0 +1,17 @@
+
+name: Check PR
+
+on:
+  pull_request:
+    branches: [ "master" ]
+  workflow_dispatch:
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  check_source:
+    name: "Run code checks"
+    uses: ./.github/workflows/_shared-check.yaml
+