docker-action.yml

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"