WIP docker

Author: proux01

.github/workflows/docker-action.yml

@@ -0,0 +1,40 @@
+name: Docker CI
+
+on:
+  push:
+    branches:
+      - master
+  pull_request:
+    branches:
+      - '**'
+
+jobs:
+  build-coq:
+    runs-on: ubuntu-latest
+    container: coqorg/base:4.14.2-flambda
+    # - 'coqorg/coq:dev'
+    steps:
+    - name: Git checkout
+      uses: actions/checkout@v3
+      with:
+        repository: roux01/coq
+        ref: split_stdlib
+    - name: Build
+      run: "make dunestrap" 
+      run: "dune build -p coq-core,coq-stdlib @install" 
+      run: "dune install coq-core coq-stdlib" 
+  build-coqutil:
+    needs:
+    - build-stdlib
+    runs-on: ubuntu-latest
+    container: coqorg/base:4.14.2-flambda
+    # - 'coqorg/coq:dev'
+    steps:
+    - name: Git checkout
+      uses: actions/checkout@v3
+      with:
+        repository: mit-plv/fiat-crypto
+        ref: master
+        submodules: recursive
+    - name: Build
+      run: "ls"