Test opam package

merge Group.Scalarmult into MontgomeryLadder, use in x25519_base (#1843) #828

Sign in to view logs

Triggered via push April 1, 2024 16:46

master

Status Success

Total duration 1h 34m 33s

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!