Test opam package

instantiate Edwards-Montgomery isomorphism for Curve25519 (#1847) #833

Sign in to view logs

Triggered via push April 3, 2024 20:27

master

Status Success

Total duration 1h 40m 21s

Artifacts –

coq-opam-package.yml

on: push

Matrix: install

Annotations

1 warning

install (8.19.0, 4.11.1, macOS, macos-latest)

darcs has been deprecated because it depends on GHC 8.10 to build!