Skip to content
CI (Coq, Alpine)

merge Group.Scalarmult into MontgomeryLadder, use in x25519_base #481

Sign in to view logs

merge Group.Scalarmult into MontgomeryLadder, use in x25519_base

merge Group.Scalarmult into MontgomeryLadder, use in x25519_base #481

Triggered via pull request April 1, 2024 12:17
@andres-erbsenandres-erbsen
opened #1843
andres-erbsen:transitivity2
Status Failure
Total duration 57s
Artifacts 3

coq-alpine.yml

on: pull_request
Matrix: build
Matrix: test-standalone
publish-standalone
0s
publish-standalone
alpine-check-all
0s
alpine-check-all
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
setup-alpine: Initialize Alpine Linux edge (x86_64)
Error occurred at line 240: $APK add \ (see the job log for more information)
alpine-edge
Process completed with exit code 1.
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 Digest
ExtractionHaskell-edge Expired
5.41 KB
ExtractionOCaml-edge Expired
3.55 KB
generated-files-edge Expired
4.72 MB