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