Skip to content

[ci] Update CI for 1.x branch#102

Merged
ejgallego merged 1 commit intoocaml-ppx:v1.xfrom
ejgallego:ci_v1.x
Oct 13, 2025
Merged

[ci] Update CI for 1.x branch#102
ejgallego merged 1 commit intoocaml-ppx:v1.xfrom
ejgallego:ci_v1.x

Commits

Commits on Oct 13, 2025