chore: CI

This commit is contained in:
Simon Cruanes 2024-09-05 08:40:23 -04:00
parent ec0871ef69
commit c89c54218d
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -2,10 +2,10 @@ name: build
on:
push:
branches:
- master
- main
pull_request:
branches:
- master
- main
jobs:
run:
name: Build
@ -16,8 +16,9 @@ jobs:
# - macos-latest # build issues with `ar` (!!!)
#- windows-latest # certificate problem
ocaml-compiler:
- 4.03.x
- 4.08.x
- 4.12.x
- 5.2.x
runs-on: ${{ matrix.os }}
steps:
- uses: actions/checkout@v2