Merge pull request #2899 from JuliaReach/schillic/revise

Revise scripts

.github/workflows/CompatHelper.yml

@@ -3,6 +3,7 @@ name: CompatHelper
 on:
   schedule:
     - cron: '00 00 * * *'
+  workflow_dispatch:
 
 jobs:
   CompatHelper:
@@ -16,4 +17,5 @@ jobs:
       - name: CompatHelper.main()
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          COMPATHELPER_PRIV: ${{ secrets.DOCUMENTER_KEY }}
         run: julia -e 'using CompatHelper; CompatHelper.main()'

.github/workflows/TagBot.yml

@@ -1,9 +1,11 @@
 name: TagBot
+
 on:
   issue_comment:
     types:
       - created
   workflow_dispatch:
+
 jobs:
   TagBot:
     if: github.event_name == 'workflow_dispatch' || github.actor == 'JuliaTagBot'

.github/workflows/ci.yml

@@ -19,9 +19,17 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        julia-version: ['1.3', '1.6']
+        julia-version: ['1.6']
         julia-arch: [x64]
-        os: [ubuntu-latest]
+        os: [ubuntu-latest, windows-latest]
+        include:
+          - julia-version: '1.3'  # 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:
@@ -35,15 +43,17 @@ jobs:
       - name: Install dependencies
         run: |
           julia --project --color=yes -e 'using Pkg;
-              include("deps/build_private.jl");
+              include(joinpath("deps", "build_private.jl"));
               Pkg.build(verbose=true)'
+        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

.github/workflows/docs.yml

@@ -27,6 +27,7 @@ jobs:
               Pkg.instantiate()'
       - name: Build and deploy
         env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
-          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # For authentication 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

README.md

@@ -1,7 +1,7 @@
 # LazySets.jl
 ## *Scalable Symbolic-Numeric Set Computations*
 
-| **Documentation** |**Build Status** |**Community** |**Version-specific Citation** | **License** |
+| **Documentation** |**Status** |**Community** |**Version-specific Citation** | **License** |
 |:-----------------:|:---------------:|:------------:|:----------------------------:|:-----------:|
 | [![docs-dev][dev-img]][dev-url] |[![CI][ci-img]][ci-url] [![codecov][cov-img]][cov-url]|[![gitter][chat-img]][chat-url]|[![zenodo][doi-img]][doi-url] |[![license][lic-img]][lic-url]|
 
@@ -18,10 +18,14 @@
 [lic-img]: https://img.shields.io/github/license/mashape/apistatus.svg?maxAge=2592000
 [lic-url]: https://github.com/JuliaReach/LazySets.jl/blob/master/LICENSE
 
+## ❓ Introduction
+
 The following article showcases the basic functionality, highlighting some of the key design choices:
 
 > Forets, Marcelo, and Christian Schilling. *LazySets. jl: Scalable Symbolic-Numeric Set Computations.* [arXiv preprint arXiv:2110.01711](https://arxiv.org/abs/2110.01711) (2021).
 
+See [below](#how-to-cite) for how to cite it.
+
 ## 🎯 Resources
 
 - [Manual](http://juliareach.github.io/LazySets.jl/dev/)
@@ -41,7 +45,7 @@ pkg> add LazySets
 
 See the [Getting started](https://juliareach.github.io/LazySets.jl/dev/man/getting_started/) section of the manual for other options.
 
-## :blue_book: Publications
+## 📘 Publications
 
 This library has been applied in a number of scientic works.
 
@@ -91,7 +95,7 @@ The articles appear in reverse chronological order.
 
 </details>
 
-## :earth_africa: Ecosystem
+## 🗺 Ecosystem
 
 Several projects in the Julia technical computing stack use this library.
 

docs/make.jl

@@ -1,4 +1,3 @@
-ENV["GKSwstype"] = "100"  # set 'GR environment' to 'no output' (for Travis CI)
 using Documenter, LazySets
 import Polyhedra, Optim, Expokit, TaylorModels, Distributions, MiniQhull, Symbolics