Skip to content

32bit 5.0.0

32bit 5.0.0 #85

name: 32bit 5.0.0
on:
schedule:
# Every Sunday morning, at 1:11 UTC
- cron: '11 1 * * 0'
workflow_dispatch:
jobs:
build:
uses: ./.github/workflows/common.yml
with:
compiler: 'ocaml-variants.5.0.0+options,ocaml-option-32bit'
timeout: 240