Skip to content

Increase focus iteration count from 250 to 500 #70

Increase focus iteration count from 250 to 500

Increase focus iteration count from 250 to 500 #70

name: 32bit 5.1
on:
pull_request:
push:
workflow_dispatch:
jobs:
build:
uses: ./.github/workflows/common.yml
with:
compiler: 'ocaml-variants.5.1.1+options,ocaml-option-32bit'
timeout: 240