[ci] ignore docs build

JuliaGeometry · Jul 5, 2022 · b36ad65 · b36ad65
1 parent 045d355
commit b36ad65
Showing 1 changed file with 24 additions and 24 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -48,30 +48,30 @@ jobs:
           github-token: ${{ secrets.GITHUB_TOKEN }}
           flag-name: run${{ matrix.os }}-${{ matrix.version }}-${{ matrix.arch }}
           parallel: true
-  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 -e '
-            using Documenter: DocMeta, doctest
-            using GeometricalPredicates
-            DocMeta.setdocmeta!(GeometricalPredicates, :DocTestSetup, :(using GeometricalPredicates); recursive=true)
-            doctest(GeometricalPredicates)'
-      - run: julia --project=docs docs/make.jl
-        env:
-          JULIA_PKG_SERVER: ""
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
+#  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 -e '
+#            using Documenter: DocMeta, doctest
+#            using GeometricalPredicates
+#            DocMeta.setdocmeta!(GeometricalPredicates, :DocTestSetup, :(using GeometricalPredicates); recursive=true)
+#            doctest(GeometricalPredicates)'
+#      - run: julia --project=docs docs/make.jl
+#        env:
+#          JULIA_PKG_SERVER: ""
+#          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+#          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
   finish:
     needs: test
     if: always()