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

coq-action-2.yml

name: CI
on:
  push:
    branches: ['master'] # forall push/merge in master
  pull_request:
    branches: ['**']  # forall submitted Pull Requests
jobs:
  mathcomp:
    runs-on: ubuntu-latest
    strategy:
      matrix:
        image:
          - 'mathcomp/mathcomp:1.12.0-coq-8.12'
          - 'mathcomp/mathcomp:1.12.0-coq-8.13'
          # - 'mathcomp/mathcomp:latest-coq-dev'  # not always available,
          # see https://hub.docker.com/r/mathcomp/mathcomp#supported-tags
          - 'mathcomp/mathcomp-dev:coq-dev'
      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'
          custom_image: ${{ matrix.image }}