Crypto Proofs Check

add sha3 to the CI #35

Sign in to view logs

Triggered via push December 7, 2023 21:38

fdupress

add-sha3

Status Success

Total duration 9m 13s

Artifacts –

ci.yml

on: push

Compile & Cache EasyCrypt

Matrix: Compile Project