From 871e0e3ed5ef9434a027fc0b2b08af4ff294dc6f Mon Sep 17 00:00:00 2001 From: pdmurray Date: Sat, 28 Sep 2024 11:38:18 -0700 Subject: [PATCH] Try using actions-js/push approach --- .github/workflows/generate_api_docs.yaml | 79 ++++++++++++------------ 1 file changed, 40 insertions(+), 39 deletions(-) diff --git a/.github/workflows/generate_api_docs.yaml b/.github/workflows/generate_api_docs.yaml index 3120471a..15b3f5c1 100644 --- a/.github/workflows/generate_api_docs.yaml +++ b/.github/workflows/generate_api_docs.yaml @@ -24,45 +24,46 @@ jobs: - name: "Checkout repository 🛎️" uses: actions/checkout@v4 with: - token: ${{ secrets.GITHUB_TOKEN }} - - - name: Configure git to use https - run: git config --global hub.protocol https - - - name: "Get PR Info" - id: pr - env: - PR_NUMBER: ${{ github.event.pull_request.number }} - GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} - GH_REPO: ${{ github.repository }} - COMMENT_AT: ${{ github.event.comment.created_at }} - run: | - pr="$(gh api /repos/${GH_REPO}/pulls/${PR_NUMBER})" - head_sha="$(echo "$pr" | jq -r .head.sha)" - pushed_at="$(echo "$pr" | jq -r .pushed_at)" - - if [[ $(date -d "$pushed_at" +%s) -gt $(date -d "$COMMENT_AT" +%s) ]]; then - echo "Updating is not allowed because the PR was pushed to (at $pushed_at) after the triggering comment was issued (at $COMMENT_AT)" - exit 1 - fi - - echo "head_sha=$head_sha" >> $GITHUB_OUTPUT - - - name: Checkout the branch from the PR that triggered the job - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - run: gh pr checkout ${{ github.event.pull_request.number }} - - - name: Validate the fetched branch HEAD revision - env: - EXPECTED_SHA: ${{ steps.pr.outputs.head_sha }} - run: | - actual_sha="$(git rev-parse HEAD)" - - if [[ "$actual_sha" != "$EXPECTED_SHA" ]]; then - echo "The HEAD of the checked out branch ($actual_sha) differs from the HEAD commit available at the time when trigger comment was submitted ($EXPECTED_SHA)" - exit 1 - fi + persist-credentials: false + fetch-depth: 0 + + # - name: Configure git to use https + # run: git config --global hub.protocol https + # + # - name: "Get PR Info" + # id: pr + # env: + # PR_NUMBER: ${{ github.event.pull_request.number }} + # GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} + # GH_REPO: ${{ github.repository }} + # COMMENT_AT: ${{ github.event.comment.created_at }} + # run: | + # pr="$(gh api /repos/${GH_REPO}/pulls/${PR_NUMBER})" + # head_sha="$(echo "$pr" | jq -r .head.sha)" + # pushed_at="$(echo "$pr" | jq -r .pushed_at)" + # + # if [[ $(date -d "$pushed_at" +%s) -gt $(date -d "$COMMENT_AT" +%s) ]]; then + # echo "Updating is not allowed because the PR was pushed to (at $pushed_at) after the triggering comment was issued (at $COMMENT_AT)" + # exit 1 + # fi + # + # echo "head_sha=$head_sha" >> $GITHUB_OUTPUT + # + # - name: Checkout the branch from the PR that triggered the job + # env: + # GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} + # run: gh pr checkout ${{ github.event.pull_request.number }} + # + # - name: Validate the fetched branch HEAD revision + # env: + # EXPECTED_SHA: ${{ steps.pr.outputs.head_sha }} + # run: | + # actual_sha="$(git rev-parse HEAD)" + # + # if [[ "$actual_sha" != "$EXPECTED_SHA" ]]; then + # echo "The HEAD of the checked out branch ($actual_sha) differs from the HEAD commit available at the time when trigger comment was submitted ($EXPECTED_SHA)" + # exit 1 + # fi - name: "Set up Miniconda 🐍" uses: conda-incubator/setup-miniconda@v3