feat(ci): report package sizes

Added as a comment to the current pull request

.forgejo/workflows/check.yml

@@ -1,11 +1,9 @@
 on:
   push:
-  pull_request:
 jobs:
   check:
     runs-on: nixos
     needs: build
-    if: github.event_name == 'push'
     steps:
       - uses: "https://code.forgejo.org/actions/checkout@v4"
       - run: nix --version
@@ -30,7 +28,6 @@ jobs:
   report-size:
     runs-on: nixos
     needs: build
-    if: github.event_name == 'pull_request'
     steps:
       - uses: "https://git.salame.cl/actions/checkout@v4"
       - run: nix --version

ci-scripts/report-size.sh

@@ -73,12 +73,21 @@ if [ "${CI-false}" = "true" ]; then
 		"$GITHUB_API_URL/repos/$GITHUB_REPOSITORY/pulls?state=open&sort=recentupdate" \
 		-H 'accept: application/json' |
 		jq --arg head_ref "$GITHUB_HEAD_REF" '.[] | select(.head.ref == $head_ref) | .number')
+
+	if [ -z "$pr_number" ]; then
+		echo "No PR created for this pull request"
+		exit 0
+	fi
+
 	echo "Retrieved index: $pr_number" >&2
 	echo "Expected PR URL: $GITHUB_SERVER_URL/$GITHUB_REPOSITORY/pulls/$pr_number" >&2
+
 	echo 'Generating comment body' >&2
 	comment=$(markdown)
+
 	echo 'Posting comment:' >&2
 	echo "$comment" >&2
+
 	echo 'Request data:' >&2
 	data=$(echo '{}' | jq --arg comment "$comment" '.body=$comment')
 	echo "$data" >&2