Merge pull request #32 from coq/dependabot/github_actions/actions/checkout-4

Bump actions/checkout from 3 to 4

Author: mattam82

.github/workflows/generate-logos.yml

@@ -9,7 +9,7 @@ jobs:
 
     steps:
       - name: Checkout code
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
       - name: Create zip file rocq-logos.zip
         run: |
           if [ -d "rocq-id/avatar" ] && [ -d "rocq-id/badges" ] && [ -d "rocq-id/logos" ] && [ -f "rocq-id/ROCQ_ID-guidelines.pdf" ]; then