Skip to content
Crypto Proofs Check

Add sha3 #40

Sign in to view logs

Add sha3

Add sha3 #40

Triggered via pull request December 9, 2023 08:15
@fdupressfdupress
synchronize #1
add-sha3
Status Success
Total duration 7m 1s
Artifacts –

ci.yml

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