Skip to content
CI (Coq, Arch Linux)

Adapt to https://github.com/coq/coq/pull/19530 #363

Sign in to view logs

Adapt to https://github.com/coq/coq/pull/19530

Adapt to https://github.com/coq/coq/pull/19530 #363

Triggered via pull request September 17, 2024 08:52
@proux01proux01
synchronize #1957
proux01:stdlib_repo
Status Failure
Total duration 37m 36s
Artifacts 3

coq-archlinux.yml

on: pull_request
archlinux
37m 13s
archlinux
test-standalone
0s
test-standalone
publish-standalone-dry-run
0s
publish-standalone-dry-run
archlinux-check-all
0s
archlinux-check-all
Fit to window
Zoom out
Zoom in

Annotations

5 errors
archlinux: src/Bedrock/End2End/X25519/clamp.v#L58
Required library Byte matches several files in path (found /usr/lib/coq/theories/Init/Byte.vo and /usr/lib/coq/theories/Strings/Byte.vo).
archlinux
Makefile.coq:848: src/Bedrock/End2End/X25519/clamp.v
archlinux
Makefile.coq:848: src/Bedrock/End2End/X25519/clamp.v
archlinux
Process completed with exit code 2.
archlinux-check-all
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
ExtractionHaskell-archlinux
6.32 KB
ExtractionOCaml-archlinux
5.9 KB
generated-files-archlinux
4.88 MB