Skip to content

try to update Github Actions versions to fix CI#101

Merged
gasche merged 2 commits intoocaml-ppx:masterfrom
gasche:github-workflows-update
Oct 10, 2025
Merged

try to update Github Actions versions to fix CI#101
gasche merged 2 commits intoocaml-ppx:masterfrom
gasche:github-workflows-update

Commits

Commits on Oct 10, 2025