Added catenary_path().

.github/workflows/main.yml

@@ -2,6 +2,17 @@ name: Checks
 on: [pull_request]
 
 jobs:
+  VersionCheck:
+    runs-on: ubuntu-latest
+    steps:
+    - name: Checkout
+      uses: actions/checkout@v3
+
+    - name: Verify Version Bump
+      run: |
+        git fetch origin master
+        git diff --summary FETCH_HEAD version.scad | grep -q '^BOSL_VERSION'
+
   Regressions:
     runs-on: ubuntu-latest
     steps:

.github/workflows/pr_merge.yml

@@ -1,36 +0,0 @@
-name: VersionBump
-on:
-  pull_request:
-    types:
-      - closed
-
-jobs:
-  VersionBump:
-    if: github.event.pull_request.merged == true
-    runs-on: ubuntu-latest
-    permissions:
-      contents: write
-    steps:
-    - name: Checkout
-      uses: actions/checkout@v3
-
-    - name: Apt Update
-      run: sudo apt update
-
-    - name: Bump Version
-      id: commit
-      env:
-        GITHUB_TOKEN: ${{ secrets.GH_PAT }}
-      run: |
-        cd $GITHUB_WORKSPACE
-        ./scripts/increment_version.sh
-
-    - name: Push changes
-      uses: stefanzweifel/git-auto-commit-action@v5
-      with:
-        branch: master
-        commit_user_email: github+actions@gmail.com
-        commit_message: Version Bump
-
-
-