diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index 5fb7e8ae..7638a9ba 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -62,44 +62,68 @@ on:
workflow_dispatch:
permissions:
- contents: write
+ contents: read
jobs:
- deploy:
- # available images: https://github.com/actions/runner-images#available-images
+ build:
+ if: github.event_name == 'pull_request'
runs-on: ubuntu-latest
steps:
- - name: Checkout ๐๏ธ
- uses: actions/checkout@v4
- - name: Setup Ruby ๐
- uses: ruby/setup-ruby@v1
+ - name: Checkout
+ uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5
+ - name: Setup Ruby
+ uses: ruby/setup-ruby@c4e5b1316158f92e3d49443a9d58b31d25ac0f8f
with:
ruby-version: "3.3.5"
bundler-cache: true
- - name: Setup Python ๐
- uses: actions/setup-python@v5
+ - name: Setup Python
+ uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065
with:
python-version: "3.13"
- cache: "pip" # caching pip dependencies
- - name: Update _config.yml โ๏ธ
- uses: fjogeleit/yaml-update-action@main
+ cache: "pip"
+ - name: Install and Build
+ run: |
+ sudo apt-get update && sudo apt-get install -y imagemagick
+ pip3 install --upgrade nbconvert
+ export JEKYLL_ENV=production
+ bundle exec jekyll build
+ - name: Purge unused CSS
+ run: |
+ npm install -g purgecss
+ purgecss -c purgecss.config.js
+
+ deploy:
+ if: github.event_name != 'pull_request'
+ runs-on: ubuntu-latest
+ permissions:
+ contents: write
+ steps:
+ - name: Checkout
+ uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5
+ - name: Setup Ruby
+ uses: ruby/setup-ruby@c4e5b1316158f92e3d49443a9d58b31d25ac0f8f
with:
- commitChange: false
- valueFile: "_config.yml"
- propertyPath: "giscus.repo"
- value: ${{ github.repository }}
- - name: Install and Build ๐ง
+ ruby-version: "3.3.5"
+ bundler-cache: true
+ - name: Setup Python
+ uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065
+ with:
+ python-version: "3.13"
+ cache: "pip"
+ - name: Set giscus repo
+ run: |
+ ruby -ryaml -e 'path = "_config.yml"; config = YAML.load_file(path); config["giscus"] ||= {}; config["giscus"]["repo"] = ENV.fetch("GITHUB_REPOSITORY"); File.write(path, config.to_yaml)'
+ - name: Install and Build
run: |
sudo apt-get update && sudo apt-get install -y imagemagick
pip3 install --upgrade nbconvert
export JEKYLL_ENV=production
bundle exec jekyll build
- - name: Purge unused CSS ๐งน
+ - name: Purge unused CSS
run: |
npm install -g purgecss
purgecss -c purgecss.config.js
- - name: Deploy ๐
- if: github.event_name != 'pull_request'
- uses: JamesIves/github-pages-deploy-action@v4
+ - name: Deploy
+ uses: JamesIves/github-pages-deploy-action@d92aa235d04922e8f08b40ce78cc5442fcfbfa2f
with:
folder: _site
diff --git a/_includes/head.liquid b/_includes/head.liquid
index b11cfeb3..b8690957 100644
--- a/_includes/head.liquid
+++ b/_includes/head.liquid
@@ -187,6 +187,3 @@
{% if page.tikzjax %}
{% endif %}
-
-
-
diff --git a/_layouts/distill.liquid b/_layouts/distill.liquid
index 163ca3dd..5c8c9621 100644
--- a/_layouts/distill.liquid
+++ b/_layouts/distill.liquid
@@ -17,18 +17,18 @@
+