Fix ci workflow names (#461)

* fix GitHub workflow names

Author: charlie-foxtrot

.github/platform_build

@@ -25,7 +25,7 @@ cd build
 
 # configure and build
 cmake ${CMAKE_ARGS} ../
-make -j
+VERBOSE=1 make -j
 
 # run unit tests
 src/unittests

.github/workflows/platform_build.yml

@@ -1,4 +1,4 @@
-name: Run CI
+name: Platform Build
 
 on:
   push:

.github/workflows/version_bump.yml

@@ -40,10 +40,16 @@ jobs:
       env:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
       run: |
-        gh workflow run build.yml --ref ${{ steps.tag.outputs.new_tag }}
+        gh workflow run ci_build.yml --ref ${{ steps.tag.outputs.new_tag }}
+
+    - name: Run Platform Build ${{ steps.tag.outputs.new_tag }}
+      env:
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+      run: |
+        gh workflow run platform_build.yml --ref ${{ steps.tag.outputs.new_tag }}
 
     - name: Build and Publish Containers for ${{ steps.tag.outputs.new_tag }}
       env:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
       run: |
-        gh workflow run build_containers.yml --ref ${{ steps.tag.outputs.new_tag }}
+        gh workflow run build_docker_containers.yml --ref ${{ steps.tag.outputs.new_tag }}