Skip to content

Nav tube update

Nav tube update #31

Workflow file for this run

---
name: Deploy documentation to pages branch
# yamllint disable-line rule:truthy
on:
pull_request:
types: [opened, synchronize, reopened, closed]
concurrency:
group: pages-${{ github.event.pull_request.number }}
cancel-in-progress: true
jobs:
deploy:
runs-on: self-hosted
steps:
- name: Wait to let checks appear
run: sleep 1m
shell: bash
# Wait for the CI to finish so we can download the docs artifact
- name: Wait for CI
uses: lewagon/[email protected]
if: github.event.action != 'closed'
with:
ref: ${{ github.event.pull_request.head.ref }}
check-regexp: Run tests and build docs
repo-token: ${{ secrets.INVESTIGATOR_BOT_TOKEN }}
allowed-conclusions: success
verbose: true
- name: Checkout
uses: actions/checkout@v2
- name: Prepare directories
if: github.event.action != 'closed'
run: |
mkdir -p ${{ github.workspace }}/pr-docs/
- name: Download artifact
uses: dawidd6/action-download-artifact@v2
if: github.event.action != 'closed'
with:
github_token: ${{ secrets.INVESTIGATOR_BOT_TOKEN }}
workflow: .github/workflows/ci.yaml
workflow_conclusion: completed
commit: ${{ github.event.pull_request.head.sha }}
path: ${{ github.workspace }}/pr-docs
- name: Move folders
if: github.event.action != 'closed'
run: |
cd ${{ github.workspace }}/pr-docs
mv docs-ci-html-${{ github.event.pull_request.head.sha }} ${{ github.event.number }}
echo "datetime=$(TZ=America/New_York date '+%Y-%m-%d %H:%M %Z')" >> $GITHUB_ENV
############################
# If commit was an update/refresh (not close)
############################
# Publish the artifact to the GitHub Pages branch
- name: Upload docs to mil.ufl.edu
if: github.event.action != 'closed'
run: |
# Install sshpass
sudo apt-get install sshpass
# Upload contents of local folder to remote folder
sshpass -p ${{ secrets.MIL_UFL_SFTP_PASS }} \
sftp -o StrictHostKeyChecking=no \
-P ${{ secrets.MIL_UFL_SFTP_PORT }} [email protected] << EOF
mkdir htdocs/pr-docs/${{ github.event.number }}
cd htdocs/pr-docs/${{ github.event.number }}
lcd ${{ github.workspace }}/pr-docs/${{ github.event.number }}
put -r .
exit
EOF
# Create/update stickied comment
- name: Update stickied comment
uses: marocchino/sticky-pull-request-comment@v2
if: github.event.action != 'closed'
with:
GITHUB_TOKEN: ${{ secrets.INVESTIGATOR_BOT_TOKEN }}
header: pr-preview
number: ${{ github.event.number }}
message: >
Hello, it's your friendly InvestiGator bot here!
The **docs preview** for this PR is available at
https://mil.ufl.edu/pr-docs/${{ github.event.number }}.
```css
Last updated at:
► ${{ github.event.pull_request.head.sha }}
► ${{ env.datetime }}
```
Have a great day! Go gators! 🐊
############################
# If commit was closed
############################
# If the PR is closed, remove the files
- name: Delete pr-docs folder on mil.ufl.edu
if: github.event.action == 'closed'
run: |
# Install lftp
sudo apt-get install lftp
# Upload docs
lftp -u mil,${{ secrets.MIL_UFL_SFTP_PASS }} \
-p ${{ secrets.MIL_UFL_SFTP_PORT }} sftp://mil.ufl.edu << EOF
rm -r htdocs/pr-docs/${{ github.event.number }}
exit
EOF
# Create/update stickied comment
- name: Update stickied comment
uses: marocchino/sticky-pull-request-comment@v2
if: github.event.action == 'closed'
with:
GITHUB_TOKEN: ${{ secrets.INVESTIGATOR_BOT_TOKEN }}
header: pr-preview
number: ${{ github.event.number }}
message: >
Hola, your friendly InvestiGator bot here with another message!
Because this PR was closed/merged, I'm going to remove the docs
preview for now.
Have a great day! Go gators! 🐊