Skip to content

Port ppx from andreypopp/ppx_deriving #14

Port ppx from andreypopp/ppx_deriving

Port ppx from andreypopp/ppx_deriving #14

Triggered via pull request August 15, 2024 07:34
@jchavarrijchavarri
synchronize #10
ppx
Status Success
Total duration 6m 32s
Artifacts

main.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in