Skip to content

Merge pull request #38 from akhirsch/dev #1

Merge pull request #38 from akhirsch/dev

Merge pull request #38 from akhirsch/dev #1

Workflow file for this run

name: check-pirc
on:
workflow_call:
workflow_dispatch:
pull_request:
types: [opened, synchronize, closed]
branches:
- 'main'
- 'dev'
paths-ignore:
- '.githooks/**'
- '**/LICENSE'
- '**/*.md'
push:
branches:
- 'main'
- 'dev'
paths-ignore:
- '.githooks/**'
- '**/LICENSE'
- '**/*.md'
permissions: read-all
jobs:
lint-fmt:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Set-up OCaml
uses: ocaml/setup-ocaml@v3
with:
ocaml-compiler: 5
- name: Lint and format
uses: ocaml/setup-ocaml/lint-fmt@v3
build:
strategy:
fail-fast: false
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Set-up OCaml
uses: ocaml/setup-ocaml@v3
with:
ocaml-compiler: 5
- name: Install dependencies
run: opam install . --deps-only --with-test
- name: Build
run: opam exec -- dune build