# This workflow will install Python dependencies, run tests and lint with a variety of Python versions
# For more information see: https://help.github.com/actions/language-and-framework-guides/using-python-with-github-actions

name: CI (docker)

on:
  push:
    branches: [ master ]
  pull_request:
    branches: [ master ]
  workflow_dispatch:
  schedule:
    - cron: '0 0 * * *'

jobs:
  build:

    strategy:
      matrix:
        coq-version: ['dev', '8.13', '8.12', '8.11', '8.10', '8.9', '8.8', '8.7', '8.6', '8.5', '8.4']

    runs-on: ubuntu-latest

    steps:
    - uses: actions/checkout@v3
    - uses: coq-community/docker-coq-action@v1
      with:
        coq_version: ${{ matrix.coq-version }}
        custom_script: |
          sudo chmod -R a+rw .
          echo '::group::install general dependencies'
          sudo apt-get update -y
          sudo apt-get install -y python3
          eval $(opam env)
          echo '::endgroup::'
          make check PYTHON=python3 CAT_ALL_LOGS=1

# This workflow will install Python dependencies, run tests and lint with a variety of Python versions
# For more information see: https://help.github.com/actions/language-and-framework-guides/using-python-with-github-actions

name: CI (docker)

on:
  push:
    branches: [ master ]
  pull_request:
    branches: [ master ]
  workflow_dispatch:
  schedule:
    - cron: '0 0 * * *'

jobs:
  build:

    strategy:
      matrix:
        coq-version: ['8.15', '8.14', '8.13', '8.12', '8.11', '8.10', '8.9', '8.8', '8.7', '8.6', '8.5', '8.4']
        ocaml-version: ['minimal']
        include:
          - coq-version: 'dev'
            ocaml-version: '4.13-flambda'

    runs-on: ubuntu-latest

    steps:
    - uses: actions/checkout@v3
    - uses: coq-community/docker-coq-action@v1
      with:
        coq_version: ${{ matrix.coq-version }}
        ocaml_version: ${{ matrix.ocaml-version }}
        custom_script: |
          sudo chmod -R a+rw .
          echo '::group::install general dependencies'
          sudo apt-get update -y
          sudo apt-get install -y python3
          eval $(opam env)
          echo '::endgroup::'
          make check PYTHON=python3 CAT_ALL_LOGS=1

Add 8.14, 8.15, and switch dev to 4.13+flambda
Add 8.14, 8.15, and switch dev to 4.13+flambda

c.f. https://github.com/fblanqui/color/pull/42#issuecomment-1141247333 and https://coq.zulipchat.com/#narrow/stream/237663-coq-community-devs-.26-users/topic/coq.3Adev.20Docker.20tag.20currently.20unavailable/near/282503558