Skip to content

Reduce STM.cmds_gen list size #110

Reduce STM.cmds_gen list size

Reduce STM.cmds_gen list size #110

Workflow file for this run

name: FP 5.2
on:
schedule:
# Every Monday morning, at 1:11 UTC
- cron: '11 1 * * 1'
pull_request:
push:
branches:
- main
workflow_dispatch:
jobs:
build:
uses: ./.github/workflows/common.yml
with:
compiler: 'ocaml-variants.5.2.0+options,ocaml-option-fp'
timeout: 240