Merge pull request #123 from maxtori/ppx-fixes #255

Sign in to view logs

Triggered via push December 8, 2023 13:50

maxtori

master

Status Success

Total duration 13m 8s

Artifacts –

workflow.yml

on: push

Matrix: build