Skip to content
Crypto Proofs Check

update SHA3 config #37

Sign in to view logs

update SHA3 config

update SHA3 config #37

Triggered via push December 8, 2023 21:58
@fdupressfdupress
pushed 12185ae
add-sha3
Status Success
Total duration 3m 14s
Artifacts –

ci.yml

on: push
Compile & Cache EasyCrypt
2m 11s
Compile & Cache EasyCrypt
Matrix: Compile Project
Fit to window
Zoom out
Zoom in