Change to git-flow model for PRs (#1039)

As discussed, this PR moves the LLVM backend repo over to the flow-based
model of versioning we already use in the K repo.

Author: Baltoli

.github/workflows/clang-format-check.yml

@@ -1,6 +1,9 @@
 name: "Code Checks"
 on:
   pull_request:
+    types: [opened, edited, reopened, synchronize]
+    branches:
+      - 'develop'
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true

.github/workflows/develop.yml

@@ -0,0 +1,39 @@
+name: 'Bump version and make master job'
+on:
+  push:
+    branches:
+      - 'develop'
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+
+  version-bump:
+    name: 'Version Bump'
+    runs-on: ubuntu-latest
+    steps:
+      - name: 'Check out code'
+        uses: actions/checkout@v4
+        with:
+          token: ${{ secrets.JENKINS_GITHUB_PAT }}
+          # fetch-depth 0 means deep clone the repo
+          fetch-depth: 0
+      - name: 'Update Version'
+        run: |
+          set -x
+          git config user.name devops
+          git config user.email [email protected]
+          git checkout -B master origin/master
+          old_develop="$(git merge-base origin/develop origin/master)"
+          new_develop="$(git rev-parse origin/develop)"
+          if git diff --exit-code ${old_develop} ${new_develop} -- package/version; then
+            git merge --no-edit origin/develop
+            ./package/version.sh bump
+          else
+            git merge --no-edit --strategy-option=theirs origin/develop
+          fi
+          ./package/version.sh sub
+          if git add --update && git commit --no-edit --allow-empty --message "Set Version: $(cat package/version)"; then
+            git push origin master
+          fi

.github/workflows/master-pr.yml

@@ -0,0 +1,32 @@
+name: 'Change PR target to master'
+on:
+  pull_request:
+    branches:
+      - 'master'
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+
+  change-base:
+    name: 'Change base to develop branch'
+    runs-on: ubuntu-latest
+    steps:
+      - name: 'Check out code'
+        uses: actions/checkout@v4
+        with:
+          token: ${{ secrets.JENKINS_GITHUB_PAT }}
+          # fetch-depth 0 means deep clone the repo
+          fetch-depth: 0
+      - name: 'Change base'
+        env:
+          GITHUB_TOKEN: ${{ secrets.JENKINS_GITHUB_PAT }}
+        run: |
+          set -x
+          pull_number=$(jq --raw-output .pull_request.number "${GITHUB_EVENT_PATH}")
+          curl -X PATCH                                                             \
+            -H "Accept: application/vnd.github+json"                                \
+            -H "Authorization: Bearer ${GITHUB_TOKEN}"                              \
+            https://api.github.com/repos/runtimeverification/llvm-backend/pulls/${pull_number} \
+            -d '{"base":"develop"}'

.github/workflows/test.yml

@@ -1,36 +1,14 @@
 name: "Run LLVM backend tests"
 on:
   pull_request:
+    types: [opened, edited, reopened, synchronize]
+    branches:
+      - 'develop'
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true
 
 jobs:
-  version-bump:
-    name: 'Version Bump'
-    runs-on: ubuntu-latest
-    steps:
-      - name: 'Check out code'
-        uses: actions/checkout@v3
-        with:
-          token: ${{ secrets.JENKINS_GITHUB_PAT }}
-          # fetch-depth 0 means deep clone the repo
-          fetch-depth: 0
-          ref: ${{ github.event.pull_request.head.sha }}
-      - name: 'Configure GitHub user'
-        run: |
-          git config user.name devops
-          git config user.email [email protected]
-      - name: 'Update version'
-        run: |
-          og_version=$(git show origin/${GITHUB_BASE_REF}:package/version)
-          ./package/version.sh bump ${og_version}
-          ./package/version.sh sub
-          new_version=$(cat package/version)
-          git add --update && git commit --message "Set Version: ${new_version}" || true
-      - name: 'Push updates'
-        run: git push origin HEAD:${GITHUB_HEAD_REF}
-
   compile-nix-flake:
     name: 'Nix flake'
     strategy: