From 22f807a3184a7cb32cb9653172681e4be96a191b Mon Sep 17 00:00:00 2001
From: "Feras A. Saad" <fsaad@mit.edu>
Date: Mon, 31 Oct 2022 16:10:45 -0400
Subject: [PATCH] Draft Github CI integrations

Related #483
---
 .github/workflows/ContinuousIntegration.yml | 30 +++++++++++++++++++++
 .github/workflows/Documentation.yml         | 29 ++++++++++++++++++++
 .travis.yml                                 | 20 --------------
 3 files changed, 59 insertions(+), 20 deletions(-)
 create mode 100644 .github/workflows/ContinuousIntegration.yml
 create mode 100644 .github/workflows/Documentation.yml
 delete mode 100644 .travis.yml

diff --git a/.github/workflows/ContinuousIntegration.yml b/.github/workflows/ContinuousIntegration.yml
new file mode 100644
index 000000000..49ccdfdee
--- /dev/null
+++ b/.github/workflows/ContinuousIntegration.yml
@@ -0,0 +1,30 @@
+# Adapted from
+# https://github.com/marketplace/actions/run-julia-package-tests
+
+name: ContinuousIntegration
+
+on:
+  push:
+    branches: [ master ]
+  pull_request:
+    branches: [ master ]
+
+jobs:
+  test:
+    runs-on: ${{ matrix.os }}
+    strategy:
+      matrix:
+        julia-version: ['1.3', 'nightly']
+        julia-arch: [x86]
+        os: [ubuntu-latest]
+    steps:
+      - uses: actions/checkout@v2
+      - uses: julia-actions/setup-julia@v1
+        with:
+          version: ${{ matrix.julia-version }}
+          arch: ${{ matrix.julia-arch }}
+          show-versioninfo: true
+      - uses: julia-actions/julia-buildpkg@v1
+      - uses: julia-actions/julia-runtest@v1
+        with:
+          annotate: true
diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml
new file mode 100644
index 000000000..906d5147d
--- /dev/null
+++ b/.github/workflows/Documentation.yml
@@ -0,0 +1,29 @@
+# Adapted from
+# https://juliadocs.github.io/Documenter.jl/stable/man/hosting/#GitHub-Actions
+
+name: Documentation
+
+on:
+  push:
+    branches:
+      - master
+    tags: '*'
+  pull_request:
+
+jobs:
+  build:
+    permissions:
+      contents: write
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: julia-actions/setup-julia@v1
+        with:
+          version: '1.6'
+      - name: Install dependencies
+        run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
+      - name: Build and deploy documentation
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
+        run: julia --project=docs/ docs/make.jl
diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index 2e89d3009..000000000
--- a/.travis.yml
+++ /dev/null
@@ -1,20 +0,0 @@
-# See http://docs.travis-ci.com/user/languages/julia/ and https://juliadocs.github.io/Documenter.jl/stable/man/hosting/#Hosting-Documentation-1
-# See status of Travis builds at https://travis-ci.org/probcomp/Gen
-
-language: julia
-julia:
-  - 1.3 # Earliest supported version
-  - 1.6 # LTS
-  - 1   # Stable
-  - nightly
-
-jobs:
-  include:
-    - stage: docs
-      julia: 1.6
-      os: linux
-      script:
-        - julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd()));
-                                               Pkg.instantiate()'
-        - julia --project=docs/ docs/make.jl
-      after_success: skip