Skip to content

Move 520-workflows on GitHub actions to 5.2.0~beta1 #15

Move 520-workflows on GitHub actions to 5.2.0~beta1

Move 520-workflows on GitHub actions to 5.2.0~beta1 #15

Workflow file for this run

name: Linux 5.2
on:
pull_request:
push:
branches:
- main
workflow_dispatch:
jobs:
build:
uses: ./.github/workflows/common.yml
with:
compiler: 'ocaml-base-compiler.5.2.0~beta1'