Cache notebooks #16
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: Cache notebooks | |
on: | |
schedule: | |
- cron: '00 02 * * 2' | |
workflow_dispatch: | |
jobs: | |
cache-notebooks: | |
runs-on: ubuntu-latest | |
steps: | |
# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it | |
- name: Checkout caching branch | |
uses: actions/checkout@v4 | |
with: | |
ref: tutorial_notebooks | |
- name: Delete files and history | |
shell: bash | |
run: | | |
git config user.name "Documenter.jl" | |
git config user.email "[email protected]" | |
git rm -rf --ignore-unmatch "*" | |
git commit -m "delete files" --allow-empty | |
git branch tutorial_notebooks_new $(echo "delete history" | git commit-tree HEAD^{tree}) | |
- name: Copy files | |
run: | | |
git fetch origin | |
git checkout tutorial_notebooks_new | |
git checkout origin/main -- docs/Project.toml | |
mv docs/Project.toml Project.toml | |
rmdir docs/ | |
sed -i '1 a Trixi = "a7f1ee26-1774-49b1-8366-f1abc58fbfcb"' Project.toml | |
cat Project.toml | |
# `stable` is a symlink, so we need to retrieve it first to resolve it locally | |
git checkout origin/gh-pages -- stable | |
git checkout origin/gh-pages -- `readlink stable`/tutorials/notebooks/ | |
mv `readlink stable`/tutorials/ tutorials | |
rmdir `readlink stable` | |
rm stable | |
git add -A && git commit -m "Copy files" | |
- name: Push changes | |
run: | | |
git push --force origin tutorial_notebooks_new:tutorial_notebooks | |
- name: Cache binder build on mybinder.org | |
uses: jupyterhub/repo2docker-action@master | |
with: | |
NO_PUSH: true | |
MYBINDERORG_TAG: tutorial_notebooks |