Skip to content

Port ppx from andreypopp/ppx_deriving #16

Port ppx from andreypopp/ppx_deriving

Port ppx from andreypopp/ppx_deriving #16

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

main.yml

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