WIP docker

.github/workflows/docker-action.yml

@@ -0,0 +1,68 @@
+name: Docker CI
+
+on:
+  push:
+    branches:
+      - master
+  pull_request:
+    branches:
+      - '**'
+
+jobs:
+  build-coq:
+    runs-on: ubuntu-latest
+    container:
+      image: coqorg/base:4.14.2-flambda
+      # - 'coqorg/coq:dev'
+      options: --user root
+    steps:
+    - name: Git checkout
+      uses: actions/checkout@v3
+      with:
+        repository: proux01/coq
+        ref: split_stdlib
+    - name: List
+      run: ls -a
+    - name: Install prerequisite
+      run: |
+        #apt-get install --no-install-recommends -y -qq perl libgmp-dev
+        opam init
+        opam install dune ocamlfind zarith
+    - name: Build
+      run: |
+        make dunestrap
+        dune build -p coq-core,coq-stdlib @install
+    - name: Install
+      run: dune install coq-core coq-stdlib
+  build-stdlib:
+    needs:
+    - build-coq
+    runs-on: ubuntu-latest
+    container:
+      image: coqorg/base:4.14.2-flambda
+      # - 'coqorg/coq:dev'
+      options: --user root
+    steps:
+    - name: Git checkout
+      uses: actions/checkout@v3
+    - name: Build
+      run: "make"
+    - name: Install
+      run: "make install"
+  build-coqutil:
+    needs:
+    - build-stdlib
+    runs-on: ubuntu-latest
+    container:
+      image: coqorg/base:4.14.2-flambda
+      # - 'coqorg/coq:dev'
+      options: --user root
+    steps:
+    - name: Git checkout
+      uses: actions/checkout@v3
+      with:
+        repository: mit-plv/fiat-crypto
+        ref: master
+        submodules: recursive
+    - name: Build
+      run: "ls"