images.yml

---
base_url: 'https://gitlab.com/coq-community/docker-coq'
active: true
docker_repo: 'coqorg/coq'
vars:
  # TODO: Update when appropriate
  coq_latest: '8.20.0'
args:
  BUILD_DATE: '{defaults[build_date]}'
propagate:
  mathcomp:
    api_token_env_var: 'DMC_TOKEN'
    gitlab_domain: 'gitlab.inria.fr'
    gitlab_project: '44938'
    strategy:
      - when: 'rebuild-all'
        mode: 'rebuild-all'
      - when: 'forall'
        expr: '{matrix[coq][//pl/.][%.*]}'
        subset: '8.4,8.5'
        mode: 'nil'
      - # when OPTIONAL for last rule
        mode: 'rebuild-keyword'
        item: '{keywords[/#/,][#,]}'
  mathcomp-dev:
    api_token_env_var: 'MC_TOKEN'
    gitlab_domain: 'gitlab.inria.fr'
    gitlab_project: '44939'
    strategy:
      - when: 'rebuild-all'
        mode: 'minimal'
      - when: 'forall'
        expr: '{matrix[coq]}'
        subset: 'dev'
        mode: 'nightly'
      - when: 'exists'
        expr: '{matrix[coq][//pl/.][%.*]}'
        subset: '8.18,8.19,8.20,dev'
        mode: 'minimal'
      - # when OPTIONAL for last rule
        mode: 'nil'
images:
  ## coqorg/coq:dev
  ## coqorg/coq:dev-ocaml-*
  - matrix:
      default: ['4.13.1-flambda']
      base: ['4.14.2-flambda', '4.13.1-flambda', '4.12.1-flambda', '4.09.1-flambda']
      coq: ['dev']
    build: &build_coq_dev
      keywords:
        - 'dev'
      context: './coq'
      dockerfile: './dev/Dockerfile'
      commit_api:
        fetcher: 'github'
        repo: 'coq/coq'
        branch: 'master'
      args:
        BASE_TAG: '{matrix[base]}'
        COQ_VERSION: '{matrix[coq]}'
        COQ_COMMIT: '{defaults[commit]}'
        VCS_REF: '{defaults[commit][0:7]}'
        COQ_EXTRA_OPAM: 'coq-bignums'
        COQ_INSTALL_SERAPI: ''
        # as coq-serapi is not kept compatible with coq.dev for now
      tags:
        # full tag
        - tag: '{matrix[coq]}-ocaml-{matrix[base]}'
        # abbreviated tag (*-ocaml-4.13-flambda)
        - tag: '{matrix[coq]}-ocaml-{matrix[base][%.*-*]}-flambda'
        # default tag (dev)
        - tag: '{matrix[coq]}'
          if: '{matrix[base]} == {matrix[default]}'
  ## coqorg/coq:dev-native
  - matrix:
      default: ['4.13.1']
      base: ['4.13.1', '4.13.1-flambda']
      coq: ['dev']
    build:
      <<: *build_coq_dev
      # no need for gitlab pipeline trigger after coqorg/coq:dev-native's build
      # after_deploy: []
      args:
        BASE_TAG: '{matrix[base]}'
        COQ_VERSION: '{matrix[coq]}'
        COQ_COMMIT: '{defaults[commit]}'
        VCS_REF: '{defaults[commit][0:7]}'
        COQ_EXTRA_OPAM: 'coq-native coq-bignums'
        COQ_INSTALL_SERAPI: ''
        # as coq-serapi is not kept compatible with coq.dev for now
      tags:
        # full tag
        - tag: '{matrix[coq]}-native-ocaml-{matrix[base]}'
        # abbreviated tag (*-ocaml-4.13)
        - tag: '{matrix[coq]}-native-ocaml-{matrix[base][%.*]}'
          if: '{matrix[base]} == {matrix[default]}'
        # abbreviated tag (*-ocaml-4.13-flambda)
        - tag: '{matrix[coq]}-native-ocaml-{matrix[base][%.*-*]}-flambda'
          if: '{matrix[base]} != {matrix[default]}'
        # default tag (dev-native)
        - tag: '{matrix[coq]}-native'
          if: '{matrix[base]} == {matrix[default]}'
        # default tag (dev-native-flambda)
        - tag: '{matrix[coq]}-native-flambda'
          if: '{matrix[base]} != {matrix[default]}'
  ################################################################
  # TODO: Uncomment when the v8.21 branch is created
  ## coqorg/coq:8.21-alpha
  # - matrix:
  #     default: ['4.13.1-flambda']
  #     # only *-flambda switches
  #     base: ['4.14.2-flambda', '4.13.1-flambda', '4.12.1-flambda', '4.09.1-flambda']
  #     # TODO: Bump to 8.21-rc1 when appropriate
  #     coq: ['8.21-alpha']
  #   build: &build_coq_alpha
  #     # TODO: Remove this commit_api section when the rc is tagged
  #     commit_api:
  #       fetcher: 'github'
  #       repo: 'coq/coq'
  #       branch: 'v8.21'
  #     context: './coq'
  #     # TODO: Replace when the rc is tagged
  #     dockerfile: './dev/Dockerfile'
  #     # dockerfile: './beta/Dockerfile'
  #     keywords:
  #       # TODO: replace when the rc is tagged
  #       - '{matrix[coq][%-alpha]}'
  #       # - '{matrix[coq][%-*]}'
  #     args:
  #       BASE_TAG: '{matrix[base]}'
  #       COQ_VERSION: '{matrix[coq][//-/+]}'
  #       # TODO: Remove COQ_COMMIT when the rc is tagged
  #       COQ_COMMIT: '{defaults[commit]}'
  #       # TODO: Replace when the rc is tagged
  #       VCS_REF: '{defaults[commit][0:7]}'
  #       # VCS_REF: 'V{matrix[coq][//-/+]}'
  #       COQ_EXTRA_OPAM: 'coq-bignums'
  #       # +- coq-native
  #       # TODO: Replace when the rc is tagged
  #       COQ_INSTALL_SERAPI: 'false'
  #       # COQ_INSTALL_SERAPI: 'true'
  #       # (or any nonempty string) as coq-serapi supports ocaml 4.07.1+
  #     tags:
  #       # full tag
  #       - tag: '{matrix[coq]}-ocaml-{matrix[base]}'
  #       # abbreviated tag (*-ocaml-4.13-flambda)
  #       # TODO: Replace when the rc is tagged
  #       - tag: '{matrix[coq][%-alpha]}-ocaml-{matrix[base][%.*-*]}-flambda'
  #       # - tag: '{matrix[coq][%-*]}-ocaml-{matrix[base][%.*-*]}-flambda'
  #       # default tag (8.21-alpha)
  #       - tag: '{matrix[coq]}'
  #         if: '{matrix[base]} == {matrix[default]}'
  #       # abbreviated tag (8.21)
  #       # TODO: Replace when the rc is tagged
  #       - tag: '{matrix[coq][%-alpha]}'
  #       # - tag: '{matrix[coq][%-*]}'
  #         if: '{matrix[base]} == {matrix[default]}'
  ## coqorg/coq:8.21-alpha-native
  # - matrix:
  #     default: ['4.13.1']
  #     base: ['4.13.1', '4.13.1-flambda']
  #     # TODO: Bump to 8.21-rc1 when appropriate
  #     coq: ['8.21-alpha']
  #   build:
  #     <<: *build_coq_alpha
  #     args:
  #       BASE_TAG: '{matrix[base]}'
  #       COQ_VERSION: '{matrix[coq][//-/+]}'
  #       # TODO: Remove COQ_COMMIT when the rc is tagged
  #       COQ_COMMIT: '{defaults[commit]}'
  #       # TODO: Replace when the rc is tagged
  #       VCS_REF: '{defaults[commit][0:7]}'
  #       # VCS_REF: 'V{matrix[coq][//-/+]}'
  #       COQ_EXTRA_OPAM: 'coq-native coq-bignums'
  #       # +- coq-native
  #       # TODO: Replace when the rc is tagged
  #       COQ_INSTALL_SERAPI: 'false'
  #       # COQ_INSTALL_SERAPI: 'true'
  #       # (or any nonempty string) as coq-serapi supports ocaml 4.07.1+
  #     tags:
  #       # full tag
  #       - tag: '{matrix[coq]}-native-ocaml-{matrix[base]}'
  #       # abbreviated tag (*-ocaml-4.13)
  #       # TODO: Replace when the rc is tagged
  #       - tag: '{matrix[coq][%-alpha]}-native-ocaml-{matrix[base][%.*]}'
  #       # - tag: '{matrix[coq][%-*]}-native-ocaml-{matrix[base][%.*]}'
  #         if: '{matrix[base]} == {matrix[default]}'
  #       # abbreviated tag (*-ocaml-4.13-flambda)
  #       # TODO: Replace when the rc is tagged
  #       - tag: '{matrix[coq][%-alpha]}-native-ocaml-{matrix[base][%.*-*]}-flambda'
  #       # - tag: '{matrix[coq][%-*]}-native-ocaml-{matrix[base][%.*-*]}-flambda'
  #         if: '{matrix[base]} != {matrix[default]}' # -flambda
  #       # default tag (8.21-alpha-native)
  #       - tag: '{matrix[coq]}-native'
  #         if: '{matrix[base]} == {matrix[default]}'
  #       # default tag (8.21-alpha-native-flambda)
  #       - tag: '{matrix[coq]}-native-flambda'
  #         if: '{matrix[base]} != {matrix[default]}' # -flambda
  #       # abbreviated tag (8.21-native)
  #       # TODO: Replace when the rc is tagged
  #       - tag: '{matrix[coq][%-alpha]}-native'
  #       # - tag: '{matrix[coq][%-*]}-native'
  #         if: '{matrix[base]} == {matrix[default]}'
  #       # abbreviated tag (8.21-native-flambda)
  #       # TODO: Replace when the rc is tagged
  #       - tag: '{matrix[coq][%-alpha]}-native-flambda'
  #       # - tag: '{matrix[coq][%-*]}-native-flambda'
  #         if: '{matrix[base]} != {matrix[default]}' # -flambda
  ################################################################
  ## coqorg/coq:latest
  ## coqorg/coq:8.20
  - matrix:
      default: ['4.13.1-flambda']
      # only *-flambda switches
      base: ['4.14.2-flambda', '4.13.1-flambda', '4.12.1-flambda', '4.09.1-flambda']
      coq: ['8.20.0']
    build: &build_coq_stable
      context: './coq'
      dockerfile: './stable/Dockerfile'
      keywords:
        - '{matrix[coq][%.*]}'
      args:
        BASE_TAG: '{matrix[base]}'
        COQ_VERSION: '{matrix[coq]}'
        VCS_REF: 'V{matrix[coq]}'
        COQ_EXTRA_OPAM: 'coq-bignums'
        # +- coq-native
        COQ_INSTALL_SERAPI: '{matrix[base][//4.09.1-flambda/]}'
        # (or any nonempty string) as coq-serapi supports ocaml 4.09.0+
      tags:
        # full tag
        - tag: '{matrix[coq]}-ocaml-{matrix[base]}'
        # abbreviated tag (*-ocaml-4.13-flambda)
        - tag: '{matrix[coq][%.*]}-ocaml-{matrix[base][%.*-*]}-flambda'
        # default tag (8.20.0)
        - tag: '{matrix[coq]}'
          if: '{matrix[base]} == {matrix[default]}'
        # abbreviated tag (8.20)
        - tag: '{matrix[coq][%.*]}'
          if: '{matrix[base]} == {matrix[default]}'
        # latest-abbreviated tag (*-ocaml-4.13-flambda)
        - tag: 'latest-ocaml-{matrix[base][%.*-*]}-flambda'
          if:
            - '{matrix[coq]} == {vars[coq_latest]}'
        # latest tag
        - tag: 'latest'
          if:
            - '{matrix[coq]} == {vars[coq_latest]}'
            - '{matrix[base]} == {matrix[default]}'
  ## coqorg/coq:latest-native
  ## coqorg/coq:latest-native-flambda
  ## coqorg/coq:8.20-native
  - matrix:
      default: ['4.13.1']
      base: ['4.13.1', '4.13.1-flambda']
      coq: ['8.20.0']
    build: &build_coq_stable_native
      <<: *build_coq_stable
      args:
        BASE_TAG: '{matrix[base]}'
        COQ_VERSION: '{matrix[coq]}'
        VCS_REF: 'V{matrix[coq]}'
        COQ_EXTRA_OPAM: 'coq-native coq-bignums'
        COQ_INSTALL_SERAPI: 'true'
        # (or any nonempty string) as coq-serapi supports ocaml 4.07.1+
      tags:
        # full tag
        - tag: '{matrix[coq]}-native-ocaml-{matrix[base]}'
        # abbreviated tag (*-ocaml-4.13)
        - tag: '{matrix[coq][%.*]}-native-ocaml-{matrix[base][%.*]}'
          if: '{matrix[base]} == {matrix[default]}'
        # abbreviated tag (*-ocaml-4.07-flambda)
        - tag: '{matrix[coq][%.*]}-native-ocaml-{matrix[base][%.*-*]}-flambda'
          if: '{matrix[base]} != {matrix[default]}' # -flambda
        # default tag (8.20.0-native)
        - tag: '{matrix[coq]}-native'
          if: '{matrix[base]} == {matrix[default]}'
        # default tag (8.20.0-native-flambda)
        - tag: '{matrix[coq]}-native-flambda'
          if: '{matrix[base]} != {matrix[default]}' # -flambda
        # abbreviated default tag (8.20-native)
        - tag: '{matrix[coq][%.*]}-native'
          if: '{matrix[base]} == {matrix[default]}'
        # abbreviated default tag (8.20-native-flambda)
        - tag: '{matrix[coq][%.*]}-native-flambda'
          if: '{matrix[base]} != {matrix[default]}' # -flambda
        # latest-abbreviated tag (latest-native-ocaml-4.13)
        - tag: 'latest-native-ocaml-{matrix[base][%.*]}'
          if:
            - '{matrix[coq]} == {vars[coq_latest]}'
            - '{matrix[base]} == {matrix[default]}'
        # latest-abbreviated tag (latest-native-ocaml-4.13-flambda)
        - tag: 'latest-native-ocaml-{matrix[base][%.*]}-flambda'
          if:
            - '{matrix[coq]} == {vars[coq_latest]}'
            - '{matrix[base]} != {matrix[default]}' # -flambda
        # latest tag
        - tag: 'latest-native'
          if:
            - '{matrix[coq]} == {vars[coq_latest]}'
            - '{matrix[base]} == {matrix[default]}'
        - tag: 'latest-native-flambda'
          if:
            - '{matrix[coq]} == {vars[coq_latest]}'
            - '{matrix[base]} != {matrix[default]}' # -flambda
  ## coqorg/coq:8.19
  - matrix:
      default: ['4.13.1-flambda']
      base: ['4.14.2-flambda', '4.13.1-flambda', '4.12.1-flambda', '4.09.1-flambda']
      coq: ['8.19.2']
    build:
      <<: *build_coq_stable
      args:
        BASE_TAG: '{matrix[base]}'
        COQ_VERSION: '{matrix[coq]}'
        VCS_REF: 'V{matrix[coq]}'
        COQ_EXTRA_OPAM: 'coq-bignums'
        # +- coq-native
        COQ_INSTALL_SERAPI: 'true'
  ## coqorg/coq:8.19-native
  - matrix:
      default: ['4.13.1']
      base: ['4.13.1', '4.13.1-flambda']
      coq: ['8.19.2']
    build:
      <<: *build_coq_stable_native
  ## coqorg/coq:8.18
  - matrix:
      default: ['4.13.1-flambda']
      base: ['4.14.2-flambda', '4.13.1-flambda', '4.12.1-flambda', '4.09.1-flambda']
      coq: ['8.18.0']
    build:
      <<: *build_coq_stable
      args:
        BASE_TAG: '{matrix[base]}'
        COQ_VERSION: '{matrix[coq]}'
        VCS_REF: 'V{matrix[coq]}'
        COQ_EXTRA_OPAM: 'coq-bignums'
        # +- coq-native
        COQ_INSTALL_SERAPI: 'true'
  ## coqorg/coq:8.18-native
  - matrix:
      default: ['4.13.1']
      base: ['4.13.1', '4.13.1-flambda']
      coq: ['8.18.0']
    build:
      <<: *build_coq_stable_native
  ## coqorg/coq:8.17
  - matrix:
      default: ['4.13.1-flambda']
      base: ['4.14.2-flambda', '4.13.1-flambda', '4.12.1-flambda', '4.09.1-flambda']
      coq: ['8.17.1']
    build:
      <<: *build_coq_stable
      args:
        BASE_TAG: '{matrix[base]}'
        COQ_VERSION: '{matrix[coq]}'
        VCS_REF: 'V{matrix[coq]}'
        COQ_EXTRA_OPAM: 'coq-bignums'
        # +- coq-native
        COQ_INSTALL_SERAPI: 'true'
  ## coqorg/coq:8.17-native
  - matrix:
      default: ['4.13.1']
      base: ['4.13.1', '4.13.1-flambda']
      coq: ['8.17.1']
    build:
      <<: *build_coq_stable_native
  ## coqorg/coq:8.16.1
  - matrix:
      default: ['4.13.1-flambda']
      base: ['4.14.2-flambda', '4.13.1-flambda', '4.12.1-flambda', '4.09.1-flambda']
      coq: ['8.16.1']
    build:
      <<: *build_coq_stable
      args:
        BASE_TAG: '{matrix[base]}'
        COQ_VERSION: '{matrix[coq]}'
        VCS_REF: 'V{matrix[coq]}'
        COQ_EXTRA_OPAM: 'coq-bignums'
        # +- coq-native
        COQ_INSTALL_SERAPI: 'true'
  ## coqorg/coq:8.16-native
  - matrix:
      default: ['4.13.1']
      base: ['4.13.1', '4.13.1-flambda']
      coq: ['8.16.1']
    build:
      <<: *build_coq_stable_native
  ## coqorg/coq:8.15
  - matrix:
      default: ['4.07.1-flambda']
      base: ['4.14.2-flambda', '4.13.1-flambda', '4.07.1-flambda', '4.05.0']
      coq: ['8.15.2']
    build: &build_coq_oldstable
      keywords:
        - '{matrix[coq][%.*]}'
      context: './coq'
      dockerfile: './stable/Dockerfile'
      args:
        BASE_TAG: '{matrix[base]}'
        COQ_VERSION: '{matrix[coq]}'
        VCS_REF: 'V{matrix[coq]}'
        COQ_EXTRA_OPAM: 'coq-bignums'
        COQ_INSTALL_SERAPI: '{matrix[base][//4.05.0/]}'
        # as coq-serapi does not support ocaml 4.05.0
      tags:
        # full tag
        - tag: '{matrix[coq]}-ocaml-{matrix[base]}'
        # abbreviated tag (*-ocaml-4.05)
        - tag: '{matrix[coq][%.*]}-ocaml-{matrix[base][%.*]}'
          if: '{matrix[base]} == 4.05.0'
        # abbreviated tag (*-ocaml-4.07-flambda)
        - tag: '{matrix[coq][%.*]}-ocaml-{matrix[base][%.*-*]}-flambda'
          if: '{matrix[base]} != 4.05.0'
        # default tag (8.15.2)
        - tag: '{matrix[coq]}'
          if: '{matrix[base]} == {matrix[default]}'
        # abbreviated tag (8.15)
        - tag: '{matrix[coq][%.*]}'
          if: '{matrix[base]} == {matrix[default]}'
  ## coqorg/coq:8.15-native
  ## coqorg/coq:8.15-native-flambda
  - matrix:
      default: ['4.07.1']
      base: ['4.07.1', '4.07.1-flambda']
      coq: ['8.15.2']
    build: &build_coq_oldstable_native
      <<: *build_coq_oldstable
      args:
        BASE_TAG: '{matrix[base]}'
        COQ_VERSION: '{matrix[coq]}'
        VCS_REF: 'V{matrix[coq]}'
        COQ_EXTRA_OPAM: 'coq-native coq-bignums'
        COQ_INSTALL_SERAPI: 'true'
        # (or any nonempty string) as coq-serapi supports ocaml 4.07.1
      tags:
        # full tag
        - tag: '{matrix[coq]}-native-ocaml-{matrix[base]}'
        # abbreviated tag (*-ocaml-4.07)
        - tag: '{matrix[coq][%.*]}-native-ocaml-{matrix[base][%.*]}'
          if: '{matrix[base]} == {matrix[default]}'
        # abbreviated tag (*-ocaml-4.07-flambda)
        - tag: '{matrix[coq][%.*]}-native-ocaml-{matrix[base][%.*-*]}-flambda'
          if: '{matrix[base]} != {matrix[default]}'
        # default tag (8.13.2-native)
        - tag: '{matrix[coq]}-native'
          if: '{matrix[base]} == {matrix[default]}'
        # default tag (8.13.2-native-flambda)
        - tag: '{matrix[coq]}-native-flambda'
          if: '{matrix[base]} != {matrix[default]}'
        # abbreviated tag (8.13-native)
        - tag: '{matrix[coq][%.*]}-native'
          if: '{matrix[base]} == {matrix[default]}'
        # abbreviated tag (8.13-native-flambda)
        - tag: '{matrix[coq][%.*]}-native-flambda'
          if: '{matrix[base]} != {matrix[default]}'
  ## coqorg/coq:8.14
  - matrix:
      default: ['4.07.1-flambda']
      base: ['4.14.2-flambda', '4.13.1-flambda', '4.07.1-flambda', '4.05.0']
      coq: ['8.14.1']
    build:
      <<: *build_coq_oldstable
  ## coqorg/coq:8.14-native
  - matrix:
      default: ['4.07.1']
      base: ['4.07.1', '4.07.1-flambda']
      coq: ['8.14.1']
    build:
      <<: *build_coq_oldstable_native
  ## coqorg/coq:8.13
  - matrix:
      default: ['4.07.1-flambda']
      base: ['4.14.2-flambda', '4.13.1-flambda', '4.07.1-flambda', '4.05.0']
      coq: ['8.13.2']
    build:
      <<: *build_coq_oldstable
  ## coqorg/coq:8.13-native
  - matrix:
      default: ['4.07.1']
      base: ['4.07.1', '4.07.1-flambda']
      coq: ['8.13.2']
    build:
      <<: *build_coq_oldstable_native
  ## coqorg/coq:8.x < 8.13
  - matrix:
      default: ['4.07.1-flambda']
      base: ['4.11.2-flambda', '4.10.2-flambda', '4.07.1-flambda', '4.05.0']
      coq: ['8.12.2', '8.11.2']
    build: &build_coq_old_old_stable
      keywords:
        - '{matrix[coq][%.*]}'
      context: './coq'
      dockerfile: './stable/Dockerfile'
      args:
        BASE_TAG: '{matrix[base]}'
        COQ_VERSION: '{matrix[coq]}'
        VCS_REF: 'V{matrix[coq]}'
        COQ_EXTRA_OPAM: 'coq-native coq-bignums'
        COQ_INSTALL_SERAPI: '{matrix[base][//4.05.0/]}'
        # as coq-serapi does not support ocaml 4.05.0
      tags:
        # full tag
        - tag: '{matrix[coq]}-ocaml-{matrix[base]}'
        # abbreviated tag (*-ocaml-4.05)
        - tag: '{matrix[coq][%.*]}-ocaml-{matrix[base][%.*]}'
          if: '{matrix[base]} == 4.05.0'
        # abbreviated tag (*-ocaml-4.07-flambda)
        - tag: '{matrix[coq][%.*]}-ocaml-{matrix[base][%.*-*]}-flambda'
          if: '{matrix[base]} != 4.05.0'
        # default tag (8.12.2)
        - tag: '{matrix[coq]}'
          if: '{matrix[base]} == {matrix[default]}'
        # abbreviated tag (8.12)
        - tag: '{matrix[coq][%.*]}'
          if: '{matrix[base]} == {matrix[default]}'
  ## coqorg/coq:8.x (bis, other ocaml versions)
  - matrix:
      default: ['4.07.1-flambda']
      base: ['4.09.1-flambda', '4.08.1-flambda', '4.07.1-flambda', '4.05.0']
      coq: ['8.10.2', '8.9.1', '8.8.2']
    build:
      <<: *build_coq_old_old_stable
      args:
        BASE_TAG: '{matrix[base]}'
        COQ_VERSION: '{matrix[coq]}'
        VCS_REF: 'V{matrix[coq]}'
        COQ_EXTRA_OPAM: 'coq-native coq-bignums'
        COQ_INSTALL_SERAPI: '{matrix[base][//4.05.0/]}'
        # as coq-serapi does not support ocaml 4.05.0
  ## coqorg/coq:8.7
  - matrix:
      default: ['4.07.1-flambda']
      base: ['4.09.1-flambda', '4.08.1-flambda', '4.07.1-flambda', '4.05.0']
      coq: ['8.7.2']
    build:
      <<: *build_coq_old_old_stable
      args:
        BASE_TAG: '{matrix[base]}'
        COQ_VERSION: '{matrix[coq]}'
        VCS_REF: 'V{matrix[coq]}'
        COQ_EXTRA_OPAM: 'coq-native coq-bignums'
        COQ_INSTALL_SERAPI: ''
        # as coq-serapi is not compatible with coq 8.7
  ## coqorg/coq:8.6.1-ocaml-4.02.3
  - matrix:
      base: ['4.02.3']
      coq: ['8.6.1']
    build:
      keywords:
        - '{matrix[coq][%.*]}'
      context: './coq'
      dockerfile: './stable/Dockerfile'
      args:
        BASE_TAG: '{matrix[base]}'
        COQ_VERSION: '{matrix[coq]}'
        VCS_REF: 'V{matrix[coq]}'
        COQ_EXTRA_OPAM: 'coq-native coq-bignums'
      tags:
        - tag: '{matrix[coq]}-ocaml-{matrix[base]}'
        - tag: '{matrix[coq][%.*]}-ocaml-{matrix[base][%.*]}'
        - tag: '{matrix[coq]}'
        - tag: '{matrix[coq][%.*]}'
  ## coqorg/coq:8.5.3-ocaml-4.02.3
  - matrix:
      base: ['4.02.3']
      coq: ['8.5pl3']
    build: &build_coq_pl
      keywords:
        - '{matrix[coq][%pl*]}'
      context: './coq'
      dockerfile: './stable/Dockerfile'
      args:
        BASE_TAG: '{matrix[base]}'
        COQ_VERSION: '{matrix[coq][//pl/.]}'
        VCS_REF: 'V{matrix[coq]}'
        COQ_EXTRA_OPAM: 'coq-native'
      tags:
        - tag: '{matrix[coq][//pl/.]}-ocaml-{matrix[base]}'
        - tag: '{matrix[coq][//pl/.][%.*]}-ocaml-{matrix[base][%.*]}'
        - tag: '{matrix[coq][//pl/.]}'
        - tag: '{matrix[coq][//pl/.][%.*]}'
  ## coqorg/coq:8.4.6-ocaml-4.02.3
  - matrix:
      base: ['4.02.3']
      coq: ['8.4pl6']
    build:
      <<: *build_coq_pl
      args:
        BASE_TAG: '{matrix[base]}'
        COQ_VERSION: '{matrix[coq][//pl/.]}'
        VCS_REF: 'V{matrix[coq]}'
        COQ_EXTRA_OPAM: ''
        # coq-native requires coq 8.5+
# templates: