Skip to content
Crypto Proofs Check

CI #19

Sign in to view logs

CI

CI #19

Triggered via push December 7, 2023 09:23
@strubstrub
pushed 584b1c8
ci
Status Success
Total duration 4m 4s
Artifacts –

ci.yml

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