Always make time update

EESSI · Aug 7, 2024 · 7e542a3 · 7e542a3
1 parent 0fd557d
commit 7e542a3
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/update_available_software.yml b/.github/workflows/update_available_software.yml
@@ -37,6 +37,8 @@ jobs:
 
           export TIME_GENERATED_TEMPLATE="{{ generated_time }}"
           python scripts/available_software/available_software.py
+          ./scripts/update_generated_time.sh mkdocs.yml
+          
           git status
 
           # determine whether pull request should be opened:
@@ -49,7 +51,6 @@ jobs:
           else
             echo "JSON files in docs/available_software/data have been changed, PR should be opened"
             echo "json_data_changed=yes" >> $GITHUB_OUTPUT
-            ./scripts/update_generated_time.sh mkdocs.yml
           fi
 
           # remove original JSON files, or they'll end up in the PR being opened