diff --git a/.forgejo/workflows/check.yml b/.forgejo/workflows/check.yml index 14d4f7f..f8cb7d6 100644 --- a/.forgejo/workflows/check.yml +++ b/.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 diff --git a/ci-scripts/report-size.sh b/ci-scripts/report-size.sh index 2eb9ed0..889cd84 100755 --- a/ci-scripts/report-size.sh +++ b/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