Update the build badge date on builds

2024-06-27 06:37:32 +00:00
parent 214bb03a2b
commit b2e855ec52
4 changed files with 43 additions and 1 deletions
--- a/1
+++ b/1
@@ -40,6 +40,7 @@ publish-images:

 publish-documents:
 	bash scripts/publish-documents.sh
+	python scripts/update-build-badge.py

 save:
 	mkdir -p tarballs/