Deploy docs with GitHub Actions

JuliaLang · Feb 28, 2021 · a4e0bca · a4e0bca
1 parent ef811c9
commit a4e0bca
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 7 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -46,4 +46,20 @@ jobs:
       - uses: codecov/codecov-action@v1
         with:
           file: lcov.info
-
+  docs:
+    name: 'Documentation'
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: julia-actions/setup-julia@v1
+        with:
+          version: '1'
+      - run: |
+          julia --project=docs -e '
+            using Pkg
+            Pkg.develop(PackageSpec(path=pwd()))
+            Pkg.instantiate()'
+      - run: julia --project=docs --color=yes docs/make.jl
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
diff --git a/docs/make.jl b/docs/make.jl
@@ -10,9 +10,8 @@ makedocs(
     ],
 )
 
-# Documenter can also automatically deploy documentation to gh-pages.
-# See "Hosting Documentation" and deploydocs() in the Documenter manual
-# for more information.
-#=deploydocs(
-    repo = "<repository url>"
-)=#
+deploydocs(
+    repo = "github.com/JuliaLang/Tokenize.jl.git",
+    devbranch = "master",
+    push_preview = true,
+)