Switch to GitHub Actions (#21)

Author: mortenpi

.github/workflows/PDFs.yml

@@ -0,0 +1,47 @@
+name: CI
+on:
+  push:
+    branches:
+      - master
+  schedule:
+    - cron: '0 0 * * *' # daily
+  pull_request:
+jobs:
+  pdf:
+    name: Julia PDF builds (${{ matrix.buildtype }})
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        buildtype:
+          - 'releases'
+          - 'nightly'
+    env:
+      BUILDROOT: ${{ github.workspace }}/pdf/build
+      JULIA_SOURCE: ${{ github.workspace }}/pdf/build/julia
+      JULIA_DOCS: ${{ github.workspace }}/pdf/build/docs.julialang.org
+    steps:
+      - uses: actions/checkout@v2
+      - uses: julia-actions/setup-julia@v1
+        with:
+          version: 1
+          show-versioninfo: true
+      - uses: actions/cache@v1
+        env:
+          cache-name: cache-artifacts
+        with:
+          path: ~/.julia/artifacts
+          key: ${{ runner.os }}-test-${{ env.cache-name }}-${{ hashFiles('**/Project.toml') }}
+          restore-keys: |
+            ${{ runner.os }}-test-${{ env.cache-name }}-
+            ${{ runner.os }}-test-
+            ${{ runner.os }}-
+      - run: |
+          mkdir $BUILDROOT
+          git clone https://github.com/JuliaLang/julia.git $JULIA_SOURCE
+          git clone https://github.com/JuliaLang/docs.julialang.org.git -b assets --single-branch $JULIA_DOCS
+      - run: julia --color=yes pdf/make.jl ${{ matrix.buildtype }}
+      - run: julia --color=yes pdf/make.jl commit
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}