add timestamp to when badges were last generated

.github/workflows/build-workflow.yml

@@ -92,6 +92,6 @@ jobs:
           git fetch origin "${GITHUB_HEAD_REF}"
           git checkout "${GITHUB_HEAD_REF}"
           pdm badges-only
-          git status
+          pdm timestamp > badges.txt
           git commit -am "Update Badges"
           git push

badges/timestamp.txt

@@ -0,0 +1 @@
+1717336149

pyproject.toml

@@ -37,6 +37,7 @@ regression = "tox -e 'py38,py39,py310,py311,py312' --parallel"
 fmt = "black {args:src/}"
 lint = "flake8 {args:src/}"
 typing = "mypy {args:src/}"
+timestamp = {cmd="date +%s"}
 
 [tool.pdm.scripts.style]
 composite = [