Skip to content

Specifications can be terser through more type trickery #42

Specifications can be terser through more type trickery

Specifications can be terser through more type trickery #42

Workflow file for this run

name: FP 5.2
on:
pull_request:
push:
branches:
- main
workflow_dispatch:
jobs:
build:
uses: ./.github/workflows/common.yml
with:
compiler: 'ocaml-variants.5.2.0~beta1+options,ocaml-option-fp'
timeout: 240