Skip to content

Linear Two Variable Equality Domain Refining Value Domain #11684

Linear Two Variable Equality Domain Refining Value Domain

Linear Two Variable Equality Domain Refining Value Domain #11684

Workflow file for this run

name: indentation
on:
push:
pull_request:
workflow_dispatch:
jobs:
indentation:
strategy:
matrix:
os:
- ubuntu-22.04 # https://github.com/ocaml/setup-ocaml/issues/872
ocaml-compiler:
- 4.14.x
runs-on: ${{ matrix.os }}
if: ${{ !github.event.forced && github.event.before != '0000000000000000000000000000000000000000' }}
steps:
- name: Checkout code
uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Set up OCaml ${{ matrix.ocaml-compiler }}
uses: ocaml/setup-ocaml@v3
with:
ocaml-compiler: ${{ matrix.ocaml-compiler }}
- name: Install ocp-indent
run: opam install -y ocp-indent
- name: Run pre-commit hook on changes since last push
run: git reset --soft ${{ github.event.before }} && eval $(opam env) && ./scripts/hooks/pre-commit