From bec10f2bee05e74bb00b1d3d4525d35f33f2edd9 Mon Sep 17 00:00:00 2001
From: schillic <git@christianschilling.net>
Date: Thu, 25 Nov 2021 21:54:33 +0100
Subject: [PATCH] revise scripts

---
 .github/workflows/CompatHelper.yml |  4 +++-
 .github/workflows/ci.yml           | 26 ++++++++++++++++++++++++--
 .github/workflows/docs.yml         | 20 ++++++++++++++------
 Project.toml                       |  2 +-
 README.md                          |  2 +-
 docs/Project.toml                  |  3 ---
 6 files changed, 43 insertions(+), 14 deletions(-)

diff --git a/.github/workflows/CompatHelper.yml b/.github/workflows/CompatHelper.yml
index c11ad7a..f0ba920 100644
--- a/.github/workflows/CompatHelper.yml
+++ b/.github/workflows/CompatHelper.yml
@@ -3,6 +3,7 @@ name: CompatHelper
 on:
   schedule:
     - cron: '00 00 * * *'
+  workflow_dispatch:
 
 jobs:
   CompatHelper:
@@ -10,10 +11,11 @@ jobs:
     steps:
       - uses: julia-actions/setup-julia@latest
         with:
-          version: 1.5
+          version: 1.6
       - name: Pkg.add("CompatHelper")
         run: julia -e 'using Pkg; Pkg.add("CompatHelper")'
       - name: CompatHelper.main()
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          COMPATHELPER_PRIV: ${{ secrets.DOCUMENTER_KEY }}
         run: julia -e 'using CompatHelper; CompatHelper.main()'
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 896ba7a..9bc2050 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -19,9 +19,17 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        julia-version: ['1.0', '1.6']
+        julia-version: ['1.6']
         julia-arch: [x64]
-        os: [ubuntu-latest]
+        os: [ubuntu-latest, windows-latest]
+        include:
+          - julia-version: '1.0'  # test on oldest supported version
+            julia-arch: x64
+            os: ubuntu-latest
+#          - julia-version: 'nightly'  # test on latest version
+#            julia-arch: x64
+#            os: ubuntu-latest
+#            experimental: true
     env:
       JULIA_PKG_SERVER: ''
     steps:
@@ -32,6 +40,20 @@ jobs:
         with:
           version: ${{ matrix.julia-version }}
           arch: ${{ matrix.julia-arch }}
+      - name: Install dependencies
+        run: |
+          julia --project --color=yes -e 'using Pkg;
+          VERSION >= v"1.1" && Pkg.build(verbose=true);
+          VERSION < v"1.1" && Pkg.build()'
+        shell: bash
+      - name: Build
+        run: |
+          julia --project --color=yes --check-bounds=yes -e 'using Pkg;
+              Pkg.test(coverage=true);
+              Pkg.add("Coverage");
+              using Coverage;
+              Codecov.submit(process_folder())'
+        shell: bash
       - uses: actions/cache@v1
         env:
           cache-name: cache-artifacts
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index b09ec97..a68a05b 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -10,15 +10,23 @@ on:
 jobs:
   build:
     runs-on: ubuntu-latest
+    env:
+      JULIA_PKG_SERVER: ''
     steps:
-      - uses: actions/checkout@v2
-      - uses: julia-actions/setup-julia@latest
+      - name: Check out repository
+        uses: actions/checkout@v2
+      - name: Set up Julia
+        uses: julia-actions/setup-julia@latest
         with:
-          version: '1.6'
+          version: 1.6
       - name: Install dependencies
-        run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
+        run: |
+          julia --project=docs/ -e 'using Pkg;
+              Pkg.develop(PackageSpec(path=pwd()));
+              Pkg.instantiate()'
       - name: Build and deploy
         env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token
-          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # If authenticating with SSH deploy key
+          GKSwstype: nul  # fix for Plots with GR backend
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}  # authentication with GitHub Actions token
+          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}  # authentication with SSH deploy key
         run: julia --project=docs/ docs/make.jl
diff --git a/Project.toml b/Project.toml
index ede8bad..c3f32aa 100644
--- a/Project.toml
+++ b/Project.toml
@@ -11,7 +11,7 @@ SparseArrays = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"
 
 [compat]
 IntervalArithmetic = "0.15, 0.16, 0.17, 0.18, 0.19, 0.20"
-Reexport = "0.2, 1.0"
+Reexport = "0.2, 1"
 julia = "1"
 
 [extras]
diff --git a/README.md b/README.md
index 0d5397b..b8fbe23 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 # IntervalMatrices.jl
 
-[![Build Status](https://travis-ci.org/JuliaReach/IntervalMatrices.jl.svg?branch=master)](https://travis-ci.org/JuliaReach/IntervalMatrices.jl)
+[![Build Status](https://github.com/JuliaReach/IntervalMatrices.jl/actions/workflows/ci.yml/badge.svg?branch=master)](https://github.com/JuliaReach/IntervalMatrices.jl/actions/workflows/ci.yml?query=branch%3Amaster)
 [![Docs latest](https://img.shields.io/badge/docs-latest-blue.svg)](http://juliareach.github.io/IntervalMatrices.jl/dev/)
 [![license](https://img.shields.io/github/license/mashape/apistatus.svg?maxAge=2592000)](https://github.com/JuliaReach/IntervalMatrices.jl/blob/master/LICENSE)
 [![Code coverage](http://codecov.io/github/JuliaReach/IntervalMatrices.jl/coverage.svg?branch=master)](https://codecov.io/github/JuliaReach/IntervalMatrices.jl?branch=master)
diff --git a/docs/Project.toml b/docs/Project.toml
index 101c2b6..dfa65cd 100644
--- a/docs/Project.toml
+++ b/docs/Project.toml
@@ -1,5 +1,2 @@
 [deps]
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
-
-[compat]
-Documenter = "0.26"