fix: new PPX name in the error messages #439

Sign in to view logs

Triggered via pull request October 19, 2023 23:02

anmonteiro

opened #800

anmonteiro/rename-ppx-error-msg

Status Success

Total duration 22m 27s

Artifacts –

opam.yml

on: pull_request

Matrix: Build