#427 Update CI Commit

.github/workflows/build.yml

@@ -44,7 +44,7 @@ jobs:
       steps:
         - uses: actions/checkout@v4
           with:
-            fetch-depth: 1
+            fetch-depth: 1  
             submodules: recursive
         - name: Configure Safe Directory
           run: git config --global --add safe.directory $GITHUB_WORKSPACE
@@ -56,11 +56,9 @@ jobs:
           run: make config
         - name: build-test
           run: |
-            export CFLAGS="-fprofile-arcs -ftest-coverage  -g"
+            export CFLAGS="-fprofile-arcs -ftest-coverage -g"
             make build-test
             make test-fsw
-        # - name: Generate Coverage Report
-        #   run: make gcov
         - name: Generate Coverage Report and Badges
           run: |
             mkdir -p docs/coverage
@@ -78,12 +76,9 @@ jobs:
           run: |
             git config user.name "github-actions"
             git config user.email "[email protected]"
-            if ! git diff --quiet -- docs/coverage/line-coverage-badge.svg; then git add docs/coverage/line-coverage-badge.svg; fi
-            if ! git diff --quiet -- docs/coverage/branch-coverage-badge.svg; then git add docs/coverage/branch-coverage-badge.svg; fi
-            git log origin/${{ github.head_ref }}..HEAD
+            git add docs/coverage/line-coverage-badge.svg docs/coverage/branch-coverage-badge.svg || echo "No files to add"
             git commit -m "Update coverage badges" || echo "No changes to commit"
-            git push origin HEAD:refs/heads/${{ github.head_ref }} --force-with-lease
-          
+            git push origin HEAD:${{ github.head_ref }}
         - name: Archive Coverage Directory
           uses: actions/upload-artifact@v4
           with:
@@ -93,3 +88,4 @@ jobs:
           uses: codecov/codecov-action@v5
           with:
             token: 040717d0-b624-470e-be41-d08720135088
+