CI (Coq, Debian)

Decide point equality #700

Sign in to view logs

Triggered via pull request April 3, 2024 23:53

opened #1848

andres-erbsen:EdwardsMontgomery25519B

Status Failure

Total duration 1h 0m 42s

Artifacts 4

coq-debian.yml

on: pull_request

Matrix: build

Matrix: test-standalone

publish-standalone-dry-run

debian-check-all

Annotations

5 errors and 1 warning

debian-sid: src/Curves/EdwardsMontgomery25519.v#L47

The reference Montgomery_of_Edwards was not found in the current environment.

Makefile.coq:838: src/Curves/EdwardsMontgomery25519.v

Makefile.coq:838: src/Curves/EdwardsMontgomery25519.v

Process completed with exit code 2.

debian-check-all

Process completed with exit code 1.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Artifacts

Produced during runtime

Name	Size
ExtractionHaskell-sid Expired	5.41 KB
ExtractionJsOfOCaml-sid Expired	459 Bytes
ExtractionOCaml-sid Expired	3.55 KB
generated-files-sid Expired	4.72 MB