From 8ae7fb95b3f651dedc8cbd4244ea9537100b2f5c Mon Sep 17 00:00:00 2001
From: Alessandro Pignotti <a.pignotti@sssup.it>
Date: Tue, 16 May 2023 14:13:05 +0200
Subject: [PATCH] Actions: Prime the image on GH pages

---
 .github/workflows/deploy.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index 490f566..2f93de2 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -177,3 +177,4 @@ jobs:
           echo "| Final URL to the Github pages site |" >> $GITHUB_STEP_SUMMARY
           echo "| ---------------------------------- |" >> $GITHUB_STEP_SUMMARY
           echo "| ${{ steps.deployment.outputs.page_url }} |" >> $GITHUB_STEP_SUMMARY
+          curl --output /dev/null "${{ env.IMAGE_NAME }}"