Move docs to GitHub Actions

Travis docs don't seem to be building, so it probably makes sense to move to GitHub Actions.

Author: simonbyrne

.github/workflows/Documenter.yml

@@ -0,0 +1,20 @@
+name: Documentation
+
+on:
+  push:
+    branches:
+      - master
+    tags: '*'
+  pull_request:
+
+jobs:
+  docs-build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - name: Install dependencies
+        run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate(); Pkg.build(;verbose=true)'
+      - name: Build and deploy
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        run: julia --project=docs/ docs/make.jl

.travis.yml

@@ -82,18 +82,8 @@ before_install:
 jobs:
   include:
     - stage: "Tests" # implicit first stage
-    - stage: "Documentation"
-      julia: 1.0
-      os: linux
-      script:
-        - export DOCUMENTER_DEBUG="true"
-        - julia --color=yes --project=docs/ -e 'using Pkg;
-                                                      Pkg.develop(PackageSpec(path=pwd()));
-                                                      Pkg.instantiate();
-                                                      Pkg.build()'
-        - julia --color=yes --project=docs/ docs/make.jl
     - stage: "Coverage"
-      julia: 1.0
+      julia: 1.4
       os: linux
       after_success: # Intentionally rerun tests
         - julia -e 'using Pkg; cd(Pkg.dir("MPI")); Pkg.add("Coverage")'

docs/make.jl

@@ -27,7 +27,7 @@ for (example_title, example_md) in EXAMPLES
         println(mdfile, "```")
         println(mdfile, "> mpiexec -n 3 julia $example_jl")
         cd(@__DIR__) do
-            write(mdfile, read(`$(MPI.mpiexec_path) -n 3 $(joinpath(Sys.BINDIR, Base.julia_exename())) --project $example_jl`))
+            write(mdfile, mpiexec(cmd -> read(`$cmd -n 3 $(Base.julia_cmd()) --project $example_jl`)))
         end
         println(mdfile, "```")
     end
@@ -63,5 +63,6 @@ makedocs(
 )
 
 deploydocs(
-    repo = "github.com/JuliaParallel/MPI.jl.git"
+    repo = "github.com/JuliaParallel/MPI.jl.git",
+    push_preview = true,
 )