CI (Coq, Alpine)

Decide point equality #493

Sign in to view logs

Triggered via pull request April 3, 2024 23:53

opened #1848

andres-erbsen:EdwardsMontgomery25519B

Status Failure

Total duration 39m 0s

Artifacts 3

coq-alpine.yml

on: pull_request

Matrix: build

Matrix: test-standalone

publish-standalone

alpine-check-all

Annotations

5 errors and 1 warning

alpine-edge: src/Curves/EdwardsMontgomery25519.v#L47

The reference Montgomery_of_Edwards was not found in the current environment.

alpine-edge

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

alpine-edge

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

alpine-edge

Process completed with exit code 2.

alpine-check-all

Process completed with exit code 1.

alpine-edge

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-edge Expired	5.41 KB
ExtractionOCaml-edge Expired	3.55 KB
generated-files-edge Expired	4.72 MB