Merge pull request #2 from erikmd/feature-timegroup

Implement time-group feature

Author: erikmd

.github/workflows/build-coq-demo.yml

@@ -2,19 +2,24 @@
 
 name: CI
 
-# Controls when the action will run. Triggers the workflow on push or pull request
-# events but only for the master branch
+# Controls when the action will run.
+# cf. https://help.github.com/en/actions/configuring-and-managing-workflows/configuring-a-workflow#filtering-for-specific-branches-tags-and-paths
+# Triggers the workflow on push events or pull request events for the
+# master branch only:
 on:
   push:
-    branches: [ master ]
+    branches:
+      - master
   pull_request:
-    branches: [ master ]
+    branches:
+      - master
 
 # A workflow run is made up of one or more jobs that can run sequentially or in parallel
 jobs:
   # This workflow contains a single job called "build"
   build:
-    # The type of runner that the job will run on
+    # The type of runner that the job will run on;
+    # the OS must be GNU/Linux to be able to use the docker-coq-action
     runs-on: ubuntu-latest
 
     # Steps represent a sequence of tasks that will be executed as part of the job
@@ -27,4 +32,19 @@ jobs:
       with:
         opam_file: 'coq-demo.opam'
         coq_version: '8.11'
-        ocaml_version: '4.09-flambda'
+        ocaml_version: '4.07-flambda'
+        custom_script: |
+          startGroup Print opam config
+            opam config list; opam repo list; opam list
+          endGroup
+          startGroup Fetch dependencies
+            opam pin add -n -y -k path $PACKAGE .
+            opam update -y
+          endGroup
+          startGroup Build
+            opam install -y -v -j 2 $PACKAGE
+            opam list
+          endGroup
+          startGroup Uninstallation test
+            opam remove $PACKAGE
+          endGroup