small optimisation of the lazy memory model #1515
Annotations
3 errors
build (ubuntu-latest, 5.1)
The process '/opt/hostedtoolcache/opam/2.2.1/x86_64/opam' failed with exit code 2
|
build (macos-latest, 5.2)
The process '/Users/runner/hostedtoolcache/opam/2.2.1/arm64/opam' failed with exit code 2
|
build (ubuntu-latest, 5.2)
Process completed with exit code 1.
|