Skip to content
Crypto Proofs Check

CI: sha3 #25

Sign in to view logs

CI: sha3

CI: sha3 #25

Triggered via push December 7, 2023 11:00
@strubstrub
pushed 2639c68
add-sha3
Status Failure
Total duration 8m 41s
Artifacts –

ci.yml

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

Annotations

1 error
Compile Project (sha3, config/tests.config, sha3)
Process completed with exit code 2.