Deploy docs without tags as well

shiro · Nov 28, 2023 · 6d1f7be · 6d1f7be
1 parent a44583c
commit 6d1f7be
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 2 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -105,7 +105,6 @@ jobs:
     name: Deploy docs
     needs: [linux, build-docs]
     runs-on: ubuntu-latest
-    if: "startsWith(github.ref, 'refs/tags/')"
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}

diff --git a/docs/src/content/docs/en/introduction.mdx b/docs/src/content/docs/en/introduction.mdx
@@ -30,4 +30,19 @@ map2.link([reader, mapper, writer])
 
 # map the "a" key to "b"
 mapper.map("a", "b")
+
+# key sequences are also supported
+mapper.map("s", "hello world!")
+
+
+# use the full power of Python using functions
+def custom_function(key, state):
+  print("called custom function")
+
+  # custom conditions and complex sequences
+  if key == "d":
+    return "{ctrl down}a{ctrl up}"
+  return True
+
+mapper.map("d", custom_function)
 ```
diff --git a/docs/src/layouts/MainLayout.astro b/docs/src/layouts/MainLayout.astro
@@ -28,7 +28,7 @@ const editUrl = `${EDIT_URL}/${currentFile}`
     <HeadCommon />
     <HeadSEO {...data} canonicalUrl={canonicalURL} />
     <title>
-      {`${data.title} 🚀 ${SITE.title}`}
+      {`${data.title} | ${SITE.title}`}
     </title>
     <style>
       body {