Pin actions to avoid surprising breaking changes

Author: hugovk

.github/workflows/update.yml

@@ -12,17 +12,17 @@ jobs:
     permissions:
       contents: write
     steps:
-      - uses: actions/setup-python@main
+      - uses: actions/setup-python@v5
         with:
           python-version: "3.x"
-      - uses: astral-sh/setup-uv@main
-      - uses: actions/checkout@main
+      - uses: astral-sh/setup-uv@v4
+      - uses: actions/checkout@v4
       - run: uv run generate.py
       - run: git config --local user.email [email protected]
       - run: git config --local user.name "GitHub Action's update job"
       - run: git add .
       - run: git commit -m 'Update progress values'
-      - uses: ad-m/github-push-action@master
+      - uses: ad-m/github-push-action@v0.8.0
         if: |
           github.repository_owner == 'm-aciek'
           && github.event_name != 'pull_request'