Skip to content
Crypto Proofs Check

Add sha3 #38

Sign in to view logs

Add sha3

Add sha3 #38

Triggered via pull request December 8, 2023 21:58
@fdupressfdupress
synchronize #1
add-sha3
Status Success
Total duration 1m 46s
Artifacts –

ci.yml

on: pull_request
Compile & Cache EasyCrypt
47s
Compile & Cache EasyCrypt
Matrix: Compile Project
Fit to window
Zoom out
Zoom in