GitHub ci.yml formatting (#1140)

* Add in a comment of the step name on the Install Dependencies job step to create a nicer log on github

* See if we can use the owner of the repo as the check for if the CBMC proofs should run

* Allow manually running the CBMC proofs

---------

Co-authored-by: Rahul Kar <118818625+kar-rahul-aws@users.noreply.github.com>

.github/workflows/ci.yml

@@ -2,7 +2,7 @@ name: CI Checks
 
 env:
   bashPass: \033[32;1mPASSED -
-  bashWarn: \033[33;1mWARNING -
+  bashInfo: \033[33;1mINFO -
   bashFail: \033[31;1mFAILED -
   bashEnd:  \033[0m
 
@@ -151,7 +151,7 @@ jobs:
           retention-days: 2
 
   proof_ci:
-    if: ${{ github.event.pull_request }}
+    if: ${{ github.event.pull_request }} || ${{ github.event.workflow }}
     runs-on: cbmc_ubuntu-latest_16-core
     steps:
       - uses: actions/checkout@v3
@@ -159,9 +159,9 @@ jobs:
           stepName: Install Dependencies
         run: |
           # ${{ env.stepName }}
-          echo -e "::group::${{ env.stepName }}"
+          echo -e "::group:: ${{ env.bashInfo }} ${{ env.stepName }} ${{ env.bashEnd }}"
           git submodule update --init --checkout --recursive --depth 1
-          sudo apt-get update
+          sudo apt-get update -y
           sudo apt-get install --yes --no-install-recommends gcc-multilib
           echo -e "::endgroup::"
           echo -e "${{ env.bashPass }} ${{env.stepName}} ${{ env.bashEnd }}"