-
Notifications
You must be signed in to change notification settings - Fork 3
executable file
·93 lines (78 loc) · 2.53 KB
/
github-pages.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
name: Deploy to pages
on:
workflow_dispatch: {}
push:
branches:
- master
permissions:
contents: read
pages: write
id-token: write
concurrency:
group: pages
cancel-in-progress: false
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
with:
submodules: recursive
token: ${{ secrets.JEKYLL_PAT }}
- name: Set up Ruby
uses: ruby/setup-ruby@v1
id: setup-ruby
with:
ruby-version: 3.2.2
bundler-cache: true
- name: Set up GHC
uses: haskell-actions/setup@v2
id: setup-ghc
with:
ghc-version: 9.4.7
- name: Restore Cabal cache
uses: actions/cache/restore@v4
id: cache-cabal-restore
with:
path: |
${{ github.workspace }}/bin-dev
${{ steps.setup-ghc.outputs.cabal-store }}
key: ${{ runner.os }}-cabal-${{ hashFiles('**/cabal.lock') }}
- name: Install Haskell packages
if: steps.cache-cabal-restore.outputs.cache-hit != 'true'
run: cabal v2-install pandoc-cli pandoc-crossref --install-method=copy --installdir=$GITHUB_WORKSPACE/bin-dev
- name: Save Cabal cache
uses: actions/cache/save@v4
if: steps.cache-cabal-restore.outputs.cache-hit != 'true'
with:
path: |
${{ github.workspace }}/bin-dev
${{ steps.setup-ghc.outputs.cabal-store }}
key: ${{ runner.os }}-cabal-${{ hashFiles('**/cabal.lock') }}
- name: Install cargo packages
uses: baptiste0928/cargo-install@v3
with:
crate: pandoc-katex
cache-key: ${{ runner.os }}-cargo-${{ hashFiles('**/cargo.lock') }}
- name: Configure Pages
id: pages
uses: actions/configure-pages@v5
- name: Add development binaries to PATH
run: |
echo "$GITHUB_WORKSPACE/bin-dev" >> $GITHUB_PATH
- name: Jekyll build
run: bundle exec jekyll build --verbose --trace --profile --baseurl "${{ steps.pages.outputs.base_path }}"
env:
JEKYLL_ENV: production
GITHUB_RUN_ID: ${{ github.run_id }}
- uses: actions/upload-pages-artifact@v3
deploy:
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest
needs: build
steps:
- id: deployment
uses: actions/deploy-pages@v4