Auto-update resource manifest [skip ci]

GitHub Action
Wednesday, July 16th, 2025 at 5:25 PM

resource-manifest.json+2-2

resource-manifest.json
29    "resources": [
30      "/web_workshop/resources/fullscreen.svg"
31    ],
   -  "total_files": 23,
   -  "total_images": 22,
32 +  "total_files": 25,
33 +  "total_images": 24,
34    "total_resources": 1
35  }