create tutorials tab #99
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Deploy to GitHub Pages | |
| on: | |
| push: #Action fires anytime there is a push to the following branches | |
| branches: | |
| - main | |
| - development | |
| pull_request: #Action also fires anytime a PR is (re)opened, closed or synchronized | |
| types: | |
| - opened | |
| - reopened | |
| - synchronize | |
| - closed | |
| jobs: | |
| pr-preview-setup: | |
| # If the action is fired because of a PR, and the PR is not from the development branch, run this job | |
| if: ${{ github.event_name == 'pull_request' && github.event.pull_request.head.ref != 'development' }} | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Get date | |
| run: echo "DATE=$(date '+%Y-%m-%d %H:%M %Z')" >> $GITHUB_ENV | |
| - name: Setup pr-preview | |
| # If the PR is new (or has been reopened), setup the message that will | |
| # get updated with the URL after deployment | |
| if: ${{ github.event.action == 'opened' || github.event.action == 'reopened' }} | |
| uses: thollander/[email protected] | |
| with: | |
| comment_tag: pr-preview | |
| pr_number: ${{ github.event.number }} | |
| message: "\ | |
| PR Preview | |
| :---: | |
| 🛫 Deployment still ongoing.<br> | |
| Preview URL will be available at the end of the deployment. | |
| For more information, please check the [Actions](https://github.com/ACCESS-Hive/access-hive.github.io/actions) tab. | |
| ${{ env.DATE }} | |
| " | |
| # If the PR is closed, remove the pr-preview URL | |
| - name: Remove pr-preview URL | |
| if: ${{github.event.action == 'closed'}} | |
| uses: thollander/[email protected] | |
| with: | |
| comment_tag: pr-preview | |
| pr_number: ${{ github.event.number }} | |
| message: "\ | |
| PR Preview | |
| :---: | |
| 🛬 Preview removed because the pull request was closed. | |
| ${{ env.DATE }} | |
| " | |
| build: | |
| # Cancel any previous build/deploy jobs that are still running (no need to build/deploy multiple times) | |
| concurrency: | |
| group: build-deploy | |
| cancel-in-progress: true | |
| runs-on: ubuntu-latest | |
| outputs: | |
| pr_nums: ${{ steps.build.outputs.pr_nums }} | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v2 | |
| with: | |
| ref: main | |
| - name: Python setup | |
| uses: actions/setup-python@v4 | |
| with: | |
| python-version: 3.x | |
| - name: Install dependencies | |
| run: pip install -r requirements.txt | |
| # Build full website using main, development and open PRs head branches | |
| # (excluding `development` and `main` as PR head branches) | |
| - name: Build full website | |
| id: build | |
| shell: bash | |
| run: | | |
| retry() { | |
| command="$1" | |
| n_tries="$2" | |
| wait="$3" | |
| exit_msg="$4" | |
| eval "$command" | |
| until [ $? == 0 ]; do | |
| if [ $i -eq $((n_tries - 1)) ]; then | |
| echo "$exit_msg" | |
| exit 1 | |
| else | |
| ((i++)) | |
| fi | |
| sleep $wait | |
| eval "$command" | |
| done | |
| } | |
| git fetch --all | |
| echo "Build main website" | |
| retry 'mkdocs build -f mkdocs.yml -d ../website' 5 1 "Failed to build main website." | |
| echo "Build development website" | |
| retry 'git checkout development' 5 1 "Failed to checkout development branch." | |
| retry 'mkdocs build -f mkdocs.yml -d ../website/development-website' 5 1 "Failed to build development website." | |
| echo "Build PR websites" | |
| command="pr_list=\$(curl -s https://api.github.com/repos/ACCESS-Hive/access-hive.github.io/pulls?state=opened \ | |
| | jq '.[] | select(.head.label!=\"ACCESS-Hive:development\" and .head.label!=\"ACCESS-Hive:main\")')" | |
| retry "$command" 5 1 "Failed to fetch opened PRs." | |
| pr_nums=($(jq '.number' <<< $pr_list)) | |
| if [[ -n $pr_nums ]]; then | |
| echo "Found PR numbers: $(sed 's/\s/, /g' <<< ${pr_nums[@]})." | |
| pr_sha=($(jq '.head.sha' <<< $pr_list)) | |
| echo "pr_nums=$(sed 's/\s/,/g' <<< [${pr_nums[@]}])" >> "$GITHUB_OUTPUT" | |
| for i in ${!pr_nums[@]}; do | |
| retry "git checkout ${pr_sha[i]}" 5 1 "Failed to checkout git hash ${pr_sha[i]}." | |
| retry "mkdocs build -f mkdocs.yml -d ../website/pr-preview/pr-${pr_nums[i]}" 5 1 "Failed to build pr-${pr_nums[i]} website." | |
| done | |
| else | |
| echo "No open PR found." | |
| fi | |
| echo "Give the right file permissions" | |
| chmod -c -R +rX ../website | |
| - name: Create artifact for deployment to GitHub Pages | |
| uses: actions/upload-pages-artifact@v2 | |
| with: | |
| path: ../website | |
| deploy: | |
| needs: build | |
| runs-on: ubuntu-latest | |
| # Cancel any previous build/deploy jobs that are still running (no need to build/deploy multiple times) | |
| concurrency: | |
| group: build-deploy | |
| cancel-in-progress: true | |
| permissions: | |
| pages: write # to deploy to Pages | |
| id-token: write # to verify the deployment originates from an appropriate source | |
| steps: | |
| - name: Deploy to GitHub Pages | |
| uses: actions/deploy-pages@v2 | |
| # Set pr-preview URL | |
| pr-preview: | |
| needs: [build,deploy] | |
| # If there are open PRs (whose head branch is neither `development` nor `main`), run this job | |
| if: ${{ needs.build.outputs.pr_nums }} | |
| runs-on: ubuntu-latest | |
| # Run the same job for each of the open PRs found | |
| strategy: | |
| matrix: | |
| pr_nums: ${{fromJson(needs.build.outputs.pr_nums)}} | |
| steps: | |
| - name: Get date | |
| run: echo "DATE=$(date '+%Y-%m-%d %H:%M %Z')" >> $GITHUB_ENV | |
| - name: Set pr-preview URL | |
| if: ${{github.event.action != 'closed'}} | |
| uses: thollander/[email protected] | |
| with: | |
| comment_tag: pr-preview | |
| pr_number: ${{ matrix.pr_nums }} | |
| message: "\ | |
| PR Preview | |
| :---: | |
| 🚀 Deployed preview to | |
| https://access-hive.org.au/pr-preview/pr-${{ matrix.pr_nums }} | |
| ${{ env.DATE }} | |
| " |