Skip to content

[CI] Fix dumpbin paths #93

[CI] Fix dumpbin paths

[CI] Fix dumpbin paths #93

Triggered via push November 13, 2023 18:32
Status Success
Total duration 8h 34m 56s
Artifacts 3

coq-alpine.yml

on: push
Matrix: build
Matrix: test-standalone
publish-standalone
11s
publish-standalone
alpine-check-all
2s
alpine-check-all
Fit to window
Zoom out
Zoom in

Annotations

4 errors
test-standalone-edge
word_by_word_montgomery does not run on host
test-standalone-edge
unsaturated_solinas does not run on host
test-standalone-edge
saturated_solinas does not run on host
test-standalone-edge
base_conversion does not run on host

Artifacts

Produced during runtime
Name Size
ExtractionHaskell-edge Expired
1.9 GB
ExtractionOCaml-edge Expired
2.08 GB
standalone-edge Expired
37.9 MB