CI (Coq, docker, dev)

Decide point equality #432

Sign in to view logs

Triggered via pull request April 3, 2024 23:53

opened #1848

andres-erbsen:EdwardsMontgomery25519B

Status Failure

Total duration 33m 45s

Artifacts 3

coq-docker.yml

on: pull_request

Matrix: build

Matrix: build-js-of-ocaml

Matrix: build-wasm-of-ocaml

Matrix: generated-files

Matrix: standalone-haskell

Matrix: test-standalone

Matrix: validate

publish-standalone-dry-run

deploy-js-wasm-of-ocaml

docker-check-all

Annotations

4 errors and 1 warning

docker-master: src/Curves/EdwardsMontgomery25519.v#L47

The reference Montgomery_of_Edwards was not found in the current environment.

docker-master

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

docker-master

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

docker-check-all

Process completed with exit code 1.

docker-master

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-source-master Expired	5.41 KB
ExtractionJsOfOCaml-source-master Expired	459 Bytes
ExtractionOCaml-master Expired	3.55 KB