feat(ci): report package sizes

Added as a comment to the current pull request

.forgejo/workflows/check.yml

@@ -1,9 +1,11 @@
 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
@@ -28,6 +30,7 @@ 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,21 +73,12 @@ 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