fix bugs in workflows

Author: kenwaytis

.github/workflows/pushdocker.yml

@@ -18,7 +18,7 @@ jobs:
       #   rm -rf "/usr/local/share/boost"
       #   rm -rf "$AGENT_TOOLSDIRECTORY"
 
-      - name: Free Disk Space: Ubuntu
+      - name: Free Disk Space in Ubuntu
         uses: jlumbroso/free-disk-space@main
         with:
           # this might remove tools that are actually needed,