Skip to content
Permalink
master
Switch branches/tags
View runs Go to file
 
 
Cannot retrieve contributors at this time
executable file 64 lines (56 sloc) 1.78 KB
name: CI
on:
push:
branches:
- master # need to filter here so we only deploy when there is a push to master
# no filters on pull requests, so intentionally left blank
pull_request:
workflow_dispatch:
permissions:
actions: write
pull-requests: write
contents: write
deployments: write
pages: write
statuses: write
jobs:
build-site:
if: ( github.event.commits[0].message != 'Initial commit' ) || github.run_number > 1
runs-on: ubuntu-latest
steps:
- name: Check if secret exists
if: github.event_name == 'push'
run: |
if [ -z "$deploy_key" ]
then
echo "You do not have a secret named SSH_DEPLOY_KEY. This means you did not follow the setup instructions carefully. Please try setting up your repo again with the right secrets."
exit 1;
fi
env:
deploy_key: ${{ secrets.SSH_DEPLOY_KEY }}
- name: Copy Repository Contents
uses: actions/checkout@main
with:
persist-credentials: false
- name: convert notebooks and word docs to posts
uses: ./_action_files
- name: setup directories for Jekyll build
run: |
rm -rf _site
sudo chmod -R 777 .
- name: Jekyll build
uses: docker://fastai/fastpages-jekyll
with:
args: bash -c "jekyll build -V --strict_front_matter --trace"
env:
JEKYLL_ENV: "production"
- name: copy CNAME file into _site if CNAME exists
run: |
sudo chmod -R 777 _site/
cp CNAME _site/ 2>/dev/null || :
- name: Deploy
if: github.event_name == 'push'
uses: peaceiris/actions-gh-pages@v3
with:
deploy_key: ${{ secrets.SSH_DEPLOY_KEY }}
publish_dir: ./_site