feat: make rust const
#4943
coq-windows.yml
on: pull_request
Annotations
4 errors
|
windows
Process completed with exit code 1.
|
|
windows
Makefile.standalone:181: install-standalone-js-of-ocaml
|
|
windows
Makefile.standalone:181: install-standalone-js-of-ocaml
|
|
windows-check-all
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
timing-files-windows
Expired
|
2.37 MB |
sha256:facf8e661c365bb69f5b02d839cc0a60c62e921271eefa333f5c0f963aacb987
|
|