Add --asm-node-reveal-depth #1213
Triggered via pull request
March 12, 2025 06:51
JasonGross
Status
Failure
Total duration
3h 10m 56s
Artifacts
5
coq-debian.yml
on: pull_request
Matrix: build
Matrix: test-standalone-container
Matrix: test-standalone-host
debian-check-all
2s
Annotations
5 errors
|
debian-sid
Process completed with exit code 2.
|
|
debian-sid
Makefile.coq:818: src/CLI.v
|
|
debian-sid
Makefile.coq:818: src/CLI.v
|
|
debian-sid:
./src/CLI.v#L522
The following term contains unresolved implicit arguments:
([Arg.long_key "asm-node-reveal-depth"],
Arg.Custom (parse_string_and parse_nat) "ℕ",
["The depth of nodes to reveal in the assembly equivalence checker. Only relevant when --hints-file is specified. In most situations, this should not have to be changed. Defaults to " ++
show default_node_reveal_depth ++ "."])
More precisely:
- ?Show: Cannot infer the implicit parameter Show of show whose type is
"Show node_reveal_depth_opt" (no type class instance found).
|
|
debian-check-all
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
ExtractionHaskell-sid
|
6.29 KB |
sha256:8211c63e4c0682f15aadc62169a38f9905a5e416b023d7c7be621e3f04a77d3f
|
|
|
ExtractionJsOfOCaml-sid
|
751 Bytes |
sha256:6dd5e8331a1a762648bbb6ae99c68e7d580229c6529f04b4397cc66fd64ad9d6
|
|
|
ExtractionOCaml-sid
|
5.86 KB |
sha256:ca800425ee52edf75a3dbc0f642f1e70cd2ab28e13f375f2e650a007fc892589
|
|
|
generated-files-sid
|
4.87 MB |
sha256:94c92b6416b804ed3d832a25323e615d9d372fbff4a1e8a0be3d06c0b903d8eb
|
|
|
timing-files-sid
|
1.92 MB |
sha256:80a97834bb47ae9965ccade80651a5dd30534b1b69ebb4bcb210d69e266b931b
|
|