A Gentle Introduction to Container-based CI for Coq projects - Figure 1.1 (.github/workflows/coq-action-1.yml)

coq-action-1.yml

name: CI
on:
  push:
    branches: ['master'] # forall push/merge in master
  pull_request:
    branches: ['**']  # forall submitted Pull Requests
jobs:
  coq:
    runs-on: ubuntu-latest
    strategy:
      matrix:
        coq_version:
          - '8.11'
          - 'dev'
        ocaml_version: ['4.07-flambda']
      fail-fast: false  # don't stop jobs if one fails
    steps:
      - uses: actions/checkout@v2
      - uses: coq-community/docker-coq-action@v1
        with:
          opam_file: 'folder/coq-proj.opam'
          coq_version: ${{ matrix.coq_version }}
          ocaml_version: ${{ matrix.ocaml_version }}