odd-order/.github/workflows/coq-action.yml at master · proux01/odd-order · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
name: CI

on:
  push:
    branches:
      - '**'
  pull_request:
    branches:
      - '**'
  schedule:
  # test master every day at 05:00 UTC
  # (mathcomp/mathcomp-dev is rebuilt every day at 04:00 Paris time)
    - cron: '0 5 * * *'

jobs:
  build:
    # the OS must be GNU/Linux to be able to use the docker-coq-action
    runs-on: ubuntu-latest
    strategy:
      matrix:
        image:
          - mathcomp/mathcomp:1.11.0-coq-8.10
          - mathcomp/mathcomp:1.11.0-coq-8.11
          - mathcomp/mathcomp:1.11.0-coq-8.11
          - mathcomp/mathcomp:1.11.0-coq-8.12
          - mathcomp/mathcomp-dev:coq-8.10
          - mathcomp/mathcomp-dev:coq-8.11
          - mathcomp/mathcomp-dev:coq-8.12
          - mathcomp/mathcomp-dev:coq-dev
      fail-fast: false
    steps:
      - uses: actions/checkout@v2
      - uses: coq-community/docker-coq-action@v1
        with:
          opam_file: 'coq-mathcomp-odd-order.opam'
          custom_image: ${{ matrix.image }}