Skip to content

Add sha3

Add sha3 #26

Triggered via pull request December 7, 2023 11:00
@strubstrub
synchronize #1
add-sha3
Status Failure
Total duration 8m 10s
Artifacts

ci.yml

on: pull_request
Compile & Cache EasyCrypt
44s
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.