Locally commit fleximod code in order to avoid false diff.

Author: nusbaume

.github/workflows/fleximod_test.yaml

@@ -73,6 +73,14 @@ jobs:
 
           echo "...git-fleximod python script generated."
 
+      # Need to commit the new code locally
+      # in order to avoid a git diff failure.
+      - name: commit fleximod code
+        run: |
+          git add .lib
+          git add bin
+          git commit -m "Committing git-fleximod to avoid false diff"
+
       - name: run git-fleximod
         run: |
           $GITHUB_WORKSPACE/bin/git-fleximod update -o