Skip to content
opam CI

fix: new PPX name in the error messages (#800) #442

Sign in to view logs

fix: new PPX name in the error messages (#800)

fix: new PPX name in the error messages (#800) #442

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build (ubuntu-latest, 5.1.x)
3m 58s
Build (macos-latest, 5.1.x)
3m 55s
7m 53s