Use Zipperposition v2.1 as the basis to compile on Cygwin (without te…

…sts yet)

.github/workflows/main.yml

@@ -1,21 +1,32 @@
 name: build
-on: [push]
+on:
+  push:
+  pull_request:
+    branches:
+      - master
 jobs:
   run:
     name: Build
-    runs-on: ${{ matrix.operating-system }}
+    runs-on: ${{ matrix.os }}
     strategy:
       matrix:
-        #operating-system: [macos-latest, ubuntu-latest, windows-latest]
-        operating-system: [ubuntu-latest]
-        ocaml-version: [ '4.05.0' ]
+        #os: [macos-latest, ubuntu-latest, windows-latest]
+        os: [ubuntu-latest, windows-latest]
+        ocaml-compiler:
+          - 4.07.x
+          - 4.12.x
     steps:
-    - uses: actions/checkout@master
-    - uses: avsm/setup-ocaml@master
+    - uses: actions/checkout@v2
+    - uses: ocaml/setup-ocaml@v2
       with:
-        ocaml-version: ${{ matrix.ocaml-version }}
+        ocaml-compiler: ${{ matrix.ocaml-compiler }}
     - run: opam pin -n .
     - run: opam depext -yt zipperposition
     - run: opam install -t . --deps-only
     - run: opam exec -- dune build @install --profile=release
     - run: opam exec -- dune runtest --profile=release
+    - uses: actions/upload-artifact@master
+      with:
+        name: zipperposition-bin-${{ matrix.os }}-${{ matrix.ocaml-compiler }}.exe
+        path: _build/default/src/main/zipperposition.exe
+