Allow writing function contracts in webassembly code #1520
Laplace-DemonAnnotations
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.
|