Skip to content

Increase thread_joingraph count to 200 #73

Increase thread_joingraph count to 200

Increase thread_joingraph count to 200 #73

Workflow file for this run

name: FP 5.1
on: [push, pull_request, workflow_dispatch]
jobs:
build:
uses: ./.github/workflows/common.yml
with:
compiler: 'ocaml-variants.5.1.0+options,ocaml-option-fp'
timeout: 240