Skip to content

Commit

Permalink
Try using actions-js/push approach
Browse files Browse the repository at this point in the history
  • Loading branch information
peytondmurray committed Sep 28, 2024
1 parent ff47414 commit 871e0e3
Showing 1 changed file with 40 additions and 39 deletions.
79 changes: 40 additions & 39 deletions .github/workflows/generate_api_docs.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 871e0e3

Please sign in to comment.