[CI/CD] pages

.github/workflows/deploy.yml

@@ -0,0 +1,15 @@
+name: Deploy on GitHub Pages
+on:
+  push:
+    branches: 
+      - main
+jobs:
+  deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - uses: actions/setup-python@v3
+        with:
+          python-version: 3.x
+      - run: pip install mkdocs-material mkdocs-heti-plugin
+      - run: mkdocs gh-deploy --force

.gitlab-ci.yml

@@ -0,0 +1,19 @@
+# The Docker image that will be used to build your app
+image: python:3.8-bullseye
+cache:                      # Pip's cache doesn't store the python packages
+  paths:                    # https://pip.pypa.io/en/stable/topics/caching/
+    - .cache/pip
+# Functions that should be executed before the build script is run
+before_script:
+  - pip install mkdocs-material mkdocs-heti-plugin
+pages:
+  script:
+    - mkdocs build --verbose --strict
+  artifacts:
+    paths:
+      # The folder that contains the files to be exposed at the Page URL
+      - public
+  rules:
+    # This ensures that only pushes to the default branch will trigger
+    # a pages deploy
+    - if: $CI_COMMIT_REF_NAME == $CI_DEFAULT_BRANCH

mkdocs.yml

@@ -1,5 +1,5 @@
 site_name: 浙江大学编译原理课程实验
-#site_url: https://floatshadow.github.io/compiler24/
+site_url: https://floatshadow.github.io/accipit/
 repo_url: https://github.com/floatshaodw/accipit
 repo_name: floatshadow/accipit
 theme:
@@ -20,22 +20,31 @@ theme:
     - media: "(prefers-color-scheme: light)"
       scheme: default
       toggle:
-        icon: material/toggle-switch-off-outline
+        icon: material/brightness-7
         name: Switch to dark mode
     - media: "(prefers-color-scheme: dark)"
       scheme: slate
       toggle:
-        icon: material/toggle-switch
+        icon: material/brightness-4
         name: Switch to light mode
 nav:
   - Accipit IR 规范: accipit-spec.md
   - SysY 语言规范: sysy-spec.md
 
-
+plugins:
+  - search
+  - heti:
+      extra_skipped_class:
+        - arithmatex
 
 extra_javascript:
+  - https://cdn.tonycrane.cc/utils/katex.min.js
   - javascripts/katex.js
 
+extra_css:
+  - https://cdn.tonycrane.cc/utils/katex.min.css
+  - https://fonts.googleapis.com/css?family=Roboto:500,500i,600,600i&display=fallback
+
 markdown_extensions:
   - toc:
       permalink: true