From dc3b7369010e767008efd3da17d410c1a703b554 Mon Sep 17 00:00:00 2001
From: Alessandro Pignotti <a.pignotti@sssup.it>
Date: Mon, 15 May 2023 18:55:09 +0200
Subject: [PATCH] CI: Reduce default image size to partially compensate for
 poor performance of GitHub pages on first access

---
 .github/workflows/build_and_deploy_ext2_img.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build_and_deploy_ext2_img.yml b/.github/workflows/build_and_deploy_ext2_img.yml
index 96b0e01..7d26cf9 100644
--- a/.github/workflows/build_and_deploy_ext2_img.yml
+++ b/.github/workflows/build_and_deploy_ext2_img.yml
@@ -17,7 +17,7 @@ on:
         type: string
         description: 'Size of the base ext2 image. 950GB is the max size for Github pages, 2GB for Github release. Refer to the fallocate(1) manpage for multiplicative suffixes'
         required: true
-        default: '950MB'
+        default: '600MB'
 
       IMAGE_NAME:
         type: string