Try container-based CI (#106)

* Try container-based CI

* Try fix CI

* Update README accordingly

* Update environment

* Use the correct name

* Fix permission issue

* Remove pre-done part from CI

* Update Dockerfile

.github/Dockerfile

@@ -1,4 +1,4 @@
-FROM coqorg/coq:8.17.1
+FROM coqorg/coq:8.17.1-ocaml-4.14.1-flambda
 
 ENV NCPUS=4
 ENV OPAMYES="true"

.github/workflows/ci_build.yaml

@@ -0,0 +1,75 @@
+name: CI build
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    branches:
+      - main
+
+env:
+  REGISTRY: "ghcr.io"
+  IMAGE_TAG: "beluga-lang/mcltt:main"
+
+jobs:
+  wf:
+    name: Completeness of _CoqProject
+    runs-on: ubuntu-latest
+    steps:
+      - name: repo checkout
+        uses: actions/checkout@v3
+      - name: check
+        run: |
+          .github/scripts/check_projects.sh theories
+
+  build:
+    name: Continuous Intergration
+    runs-on: ubuntu-latest
+    permissions:
+      packages: read
+    steps:
+      - name: get number of CPU cores
+        uses: SimenB/github-actions-cpu-cores@v2
+        id: cpu-cores
+
+      - name: repo checkout
+        uses: actions/checkout@v3
+
+      - name: container registry log in
+        uses: docker/login-action@v3
+        with:
+          registry: ${{ env.REGISTRY }}
+          username: ${{ github.actor }}
+          password: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: image pre-pulling
+        run: docker pull ${{ env.REGISTRY }}/${{ env.IMAGE_TAG }}
+
+      - name: coq processing
+        uses: coq-community/docker-coq-action@v1
+        with:
+          custom_image: ${{ env.REGISTRY }}/${{ env.IMAGE_TAG }}
+          install: |
+          before_script: |
+            startGroup "Fix the permission issue"
+              sudo chown -R coq:coq .
+            endGroup
+          script: |
+            startGroup "Build Coq lib"
+              cd theories/
+              make -j ${{ steps.cpu-cores.outputs.count }} pretty-timed
+            endGroup
+          after_script: |
+            startGroup "Test parser"
+              dune build
+              dune runtest
+            endGroup
+          export: "OPAMJOBS OPAMYES"
+        env:
+          OPAMJOBS: ${{ steps.cpu-cores.outputs.count }}
+          OPAMYES: "true"
+
+      - name: permissions revert
+        # to avoid a warning at cleanup time
+        if: ${{ always() }}
+        run: sudo chown -R 1001:116 .

README.md

@@ -47,7 +47,7 @@ implementation.
 
 ## Dependencies
 
-* OCaml 4.14.0
+* OCaml 4.14.1
 * Menhir
 * coq-menhirlib
 * Coq 8.17.1
@@ -56,7 +56,7 @@ implementation.
 We recommend to install dependencies in the following way:
 
 ```bash
-opam switch create coq-8.17.1 4.14.0
+opam switch create coq-8.17.1 4.14.1
 opam install menhir
 opam pin add coq 8.17.1
 opam repo add coq-released https://coq.inria.fr/opam/released