Skip to content

Use QuickChick 2.0.4 #27

Use QuickChick 2.0.4

Use QuickChick 2.0.4 #27

Workflow file for this run

name: Lint Opam
on:
pull_request:
paths:
- '**.opam'
concurrency:
group: "${{ github.workflow }}-${{ github.event.pull_request.number || github.head_ref || github.ref }}"
cancel-in-progress: true
permissions:
contents: read
jobs:
lint:
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v4
- name: Set up opam
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: 4.13.x
opam-repositories: |
coq-released: https://coq.inria.fr/opam/released
default: https://opam.ocaml.org
- name: Set up problem matcher
run: echo "::add-matcher::./.github/opam-errors.json"
- name: Lint opam file
run: opam lint