Improve proof README #70

Sign in to view logs

Triggered via pull request October 10, 2024 14:21

JoaoDiogoDuarte

opened #29

better-proof-readme

Status Success

Total duration 13m 20s

Artifacts 1

amd64-linux.yml

on: pull_request

extract-to-easycrypt

Artifacts

Produced during runtime

Name	Size
formosa-25519-proofs	46.2 KB