File tree Expand file tree Collapse file tree 3 files changed +12
-13
lines changed Expand file tree Collapse file tree 3 files changed +12
-13
lines changed Original file line number Diff line number Diff line change 8
8
runs-on : ubuntu-latest
9
9
steps :
10
10
- name : Checkout
11
- uses : actions/checkout@v3
12
-
13
- - name : MkDocs
14
- run : |
15
- cp -rf README.md images docs
16
- docker run --rm -v ${PWD}:/docs squidfunk/mkdocs-material -- build
11
+ uses : actions/checkout@v4
12
+ with :
13
+ fetch-depth : 0
17
14
18
- - name : Deploy
19
- uses : peaceiris/actions-gh-pages@v3
15
+ - uses : actions/setup-python@v5
20
16
with :
21
- github_token : ${{ secrets.GITHUB_TOKEN }}
22
- publish_dir : ./site
17
+ python-version : 3.x
18
+
19
+ - run : pip install mkdocs-material mkdocs-awesome-pages-plugin mkdocs-git-revision-date-localized-plugin
20
+ - run : cp -r README.md images docs
21
+ - run : mkdocs gh-deploy --force
Original file line number Diff line number Diff line change 33
33
experimental : true
34
34
35
35
steps :
36
- - uses : actions/checkout@v3
36
+ - uses : actions/checkout@v4
37
37
38
38
- uses : jcs090218/setup-emacs@master
39
39
with :
Original file line number Diff line number Diff line change @@ -25,8 +25,8 @@ repo_url: https://github.com/emacs-lsp/lsp-haskell
25
25
markdown_extensions :
26
26
- pymdownx.superfences
27
27
- pymdownx.emoji :
28
- emoji_index : !!python/name:materialx .emoji.twemoji
29
- emoji_generator : !!python/name:materialx .emoji.to_svg
28
+ emoji_index : !!python/name:material.extensions .emoji.twemoji
29
+ emoji_generator : !!python/name:material.extensions .emoji.to_svg
30
30
- codehilite
31
31
- toc :
32
32
permalink : ' #'
You can’t perform that action at this time.
0 commit comments