From 8cadd6075ec8b30a927ef4fe7e46015f0660d151 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Tue, 21 Nov 2023 15:01:49 +0100 Subject: [PATCH] Create ci-libhyps.yml --- .github/workflows/ci-libhyps.yml | 37 ++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 .github/workflows/ci-libhyps.yml diff --git a/.github/workflows/ci-libhyps.yml b/.github/workflows/ci-libhyps.yml new file mode 100644 index 0000000..bf0b045 --- /dev/null +++ b/.github/workflows/ci-libhyps.yml @@ -0,0 +1,37 @@ +# This is a basic workflow to help you get started with Actions + +name: CI + +# Controls when the workflow will run +on: + # Triggers the workflow on push or pull request events but only for the "master" branch + push: + branches: [ "master" ] + pull_request: + branches: [ "master" ] + + # Allows you to run this workflow manually from the Actions tab + workflow_dispatch: + +# A workflow run is made up of one or more jobs that can run sequentially or in parallel +jobs: + # This workflow contains a single job called "build" + build: + # The type of runner that the job will run on + runs-on: ubuntu-latest + strategy: + matrix: + image: + - 'coqorg/coq:dev' + - 'coqorg/coq:8.18' + - 'coqorg/coq:8.17' + - 'coqorg/coq:8.16' + # Steps represent a sequence of tasks that will be executed as part of the job + steps: + # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it + - uses: actions/checkout@v3 + - uses: coq-community/docker-coq-action@v1 + with: + opam_file: 'coq-libhyps.opam' + custom_image: ${{ matrix.image }} +