Skip to content
Test opam package

Bump rewriter from 5b13cd7 to 5e74224 (#1702) #678

Sign in to view logs

Bump rewriter from 5b13cd7 to 5e74224 (#1702)

Bump rewriter from 5b13cd7 to 5e74224 (#1702) #678

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install (dev, 4.11.1, ubuntu-latest)
40m 58s
install (dev, 4.11.1, macos-latest)
56m 6s
install (dev, 4.11.1, windows-latest, -async-proofs-j 1, -j 1)
1h 38m 53s
install (8.16.0, 4.11.1, ubuntu-latest)
40m 56s
install (8.16.0, 4.11.1, macos-latest)
53m 57s
install (8.16.0, 4.11.1, windows-latest, -async-proofs-j 1, -j 1)
2h 16m 12s
7h 7m 2s